Canonical extensions and ultraproducts of polarities

J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions. First it is shown that the failure of a variety of algebras to be closed under canonical extensions is witnessed by a particular one of its free algebras. The size of the set of generators of this algebra can be made a function of a collection of varieties and is a kind of Hanf number for canonical closure. Secondly we study the complete lattice of stable subsets of a polarity structure, and show that if a class of polarities is closed under ultraproducts, then its stable set lattices generate a variety that is closed under canonical extensions. This generalises an earlier result of the author about generation of canonically closed varieties of Boolean algebras with operators, which was in turn an abstraction of the result that a first-order definable class of Kripke frames determines a modal logic that is valid in its so-called canonical frames

Bare canonicity of representable cylindric and polyadic algebras

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