Relation algebras from cylindric algebras. II

DOI10.1016/S0168-0072(01)00085-9zbMath1001.03058MaRDI QIDQ5956890

Robin Hirschl, I. M. Hodkinson

Publication date: 11 December 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

relation algebras; cylindric algebras; non-finite axiomatizability

Mathematics Subject Classification ID

03C05: Equational classes, universal algebra in model theory

03G15: Cylindric and polyadic algebras; relation algebras

03F20: Complexity of proofs

03C25: Model-theoretic forcing

Related Items

Unnamed Item, Omitting types for finite variable fragments and complete representations of algebras, Algebraic Logic, Where Does it Stand Today?, Relation algebras from cylindric algebras. I, Neat embeddings, omitting types, and interpolation: an overview, POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sequent calculus for relation algebras
• Cylindric algebras. Part II
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Relation algebras with \(n\)-dimensional relational bases
• On the representation theory for cylindric algebras
• Representability is not decidable for finite relation algebras
• Some Varieties Containing Relation Algebras
• Relation algebras of every dimension
• Nonfinite axiomatizability results for cylindric and relation algebras
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Nonfinitizability of classes of representable cylindric algebras
• Relation algebras from cylindric algebras. I