Axiomatising Various Classes of Relation and Cylindric Algebras

DOI10.1093/jigpal/5.2.209zbMath0873.03051OpenAlexW1949938974MaRDI QIDQ3126404

Robin Hirschl, I. M. Hodkinson

Publication date: 2 June 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/62265faf3eff6cf42d2d9398ed7228fb085c334f

zbMATH Keywords

model theoryrepresentable cylindric algebrasequational basesgamesfinite algebrasrepresentable relation algebrashomogeneous representationsequational axiomatizationfirst-order sentences

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

How many varieties of cylindric algebras are there ⋮ Tractable approximations for temporal constraint handling ⋮ Relation algebras from cylindric algebras. I