Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem

DOI10.2307/2046137zbMATH Open0634.03066OpenAlexW4234990418MaRDI QIDQ3772219

Hajnal Andréka

Publication date: 1987

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2046137

zbMATH Keywords

Boolean algebracylindric algebraBoolean reductRelation algebras

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Recommendations

• Reflexive relations on algebras with Boolean lattice reducts 👍 👎
• Boolean algebras realized by c.e. equivalence relations 👍 👎
• Cylindrical algebraic decompositions for boolean combinations 👍 👎
• Axiomatising Various Classes of Relation and Cylindric Algebras 👍 👎
• The Cube of Kleene Algebras and the Triangular Prism of Multirelations 👍 👎
• A Cayley Theorem for Boolean Algebras 👍 👎
• Boolean Circulants, Groups, and Relation Algebras 👍 👎
• Relation algebras from cylindric and polyadic algebras 👍 👎
• Relation algebra reducts of cylindric algebras and an application to proof theory 👍 👎
• Relation algebra reducts of cylindric algebras and complete representations 👍 👎

This page was built for publication: Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3772219)