Back to Search Start Over

Bare canonicity of representable cylindric and polyadic algebras

Authors :
Bulian, Jannis
Hodkinson, Ian
Source :
Annals of Pure and Applied Logic 164 (2013), pp. 884-906
Publication Year :
2012

Abstract

We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an infinite number of non-canonical formulas. We also show that the class of structures for each of these varieties is non-elementary. The proofs employ algebras derived from random graphs.

Details

Database :
arXiv
Journal :
Annals of Pure and Applied Logic 164 (2013), pp. 884-906
Publication Type :
Report
Accession number :
edsarx.1202.5961
Document Type :
Working Paper
Full Text :
https://doi.org/10.1016/j.apal.2013.04.002