Bare canonicity of representable cylindric and polyadic algebras
arXiv:1202.5961 · doi:10.1016/j.apal.2013.04.002
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.
Cited by in corpus (7)
- Canonical extensions and ultraproducts of polarities
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Space and time via Topological and Tense cylindric algebras
- A dichotomy for some elementarily generated modal logics
- Atom-canonicity and complete representations for cylindric-like algebras, and omitting types for the clque guarded fragment of first order logic
- Algebraic analysis of temporal and topological finite variable fragments, using cylindric modal algebras
- Dedekind completions, neat embeddings and omitting types