Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent

DOI10.1007/BF02483830zbMath0495.03044MaRDI QIDQ1169457

Istvan Németi, Hajnalka Andréka

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

first-order theoryequational theoryaxiomatization

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Cylindric and polyadic algebras; relation algebras (03G15) Models of other mathematical theories (03C65)

Related Items (2)

Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Cylindric modal logic

Cites Work

• On universal algebraic constructions of logics
• Nonfinitizability of classes of representable cylindric algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent