132 citations · 262 across the 12 of their papers we have counts for
1 paper · 1 filter
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…