Atom structures of cylindric algebras and relation algebras

DOI10.1016/S0168-0072(97)00015-8zbMath0898.03025MaRDI QIDQ1377624

I. M. Hodkinson

Publication date: 1 November 1998

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

zbMATH Keywords

representability; completion; relation algebras; axiomatizability; cylindric algebras

Mathematics Subject Classification ID

03C05: Equational classes, universal algebra in model theory

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, Blow Up and Blur Constructions in Algebraic Logic, Omitting types for finite variable fragments and complete representations of algebras, On canonicity and completions of weakly representable relation algebras, Canonical varieties with no canonical axiomatisation, Algebraic Logic, Where Does it Stand Today?, Neat embeddings, omitting types, and interpolation: an overview, Notions of density that imply representability in algebraic logic, Subcompletions of representable relation algebras, Functionally dense relation algebras, Existence of certain finite relation algebras implies failure of omitting types for \(L_n\), So, what exactly is a qualitative calculus?, A brief history of Tarskian algebraic logic with new perspectives and innovations, On the variety generated by completions of representable relation algebras, Varieties generated by completions, Representability is not decidable for finite relation algebras, Strongly representable atom structures of relation algebras, POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS, Strongly representable atom structures of cylindric algebras, On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality, A simple construction of representable relation algebras with non-representable completions, Omitting types for algebraizable extensions of first order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some kinds of modal completeness
• Atom structures and Sahlqvist equations
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Relation algebras with \(n\)-dimensional relational bases
• On representable relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Representability is not decidable for finite relation algebras
• Some Varieties Containing Relation Algebras
• On Moschovakis closure ordinals
• Step by step – Building representations in algebraic logic
• Complete representations in algebraic logic
• Nonfinitizability of classes of representable cylindric algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• The Theory of Representation for Boolean Algebras
• Boolean Algebras with Operators