Bare canonicity of representable cylindric and polyadic algebras (Q387126): Difference between revisions

A first order sentence is canonical if the class of its models, restricting it to Boolean algebras with operators, is canonical, i.e., the class is closed under taking canonical extension (e.g., Sahlqvist equations are canonical). The authors show that certain classes (representable \(n\)-dimensional cylindric algebras, \(n>2\), polyadic algebras, etc.) have no axiomatization consisting of canonical sentences only, i.e., there is no canonical axiomatization. Moreover, any axiomatization of these classes contains an infinite number of non-canonical formulas; such classes are said to be barely canonical.