Bare canonicity of representable cylindric and polyadic algebras

Jannis Bulian, Ian Hodkinson

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, polyadi…