A remark of representable positive cylindric algebras

DOI10.1007/BF01190418zbMath0724.03035OpenAlexW2023426772MaRDI QIDQ2276955

Stephen D. Comer

Publication date: 1991

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

Full work available at URL: https://doi.org/10.1007/bf01190418

zbMATH Keywords

representable cylindric algebrasuniversal classpositive cylindric set algebrapositive reductrepresentable positive cylindric algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

The equational theory of union-free algebras of relations, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, Undecidability of representability as binary relations, Algebraization of quantifier logics, an introductory overview

Cites Work

• Unnamed Item
• The relational model of data and cylindric algebras
• Cylindric algebras. Part II
• Nonfinitizability of classes of representable cylindric algebras