Strongly representable atom structures of cylindric algebras

DOI10.2178/jsl/1245158086zbMath1207.03073OpenAlexW2023847822MaRDI QIDQ3399179

Robin Hirschl, I. M. Hodkinson

Publication date: 29 September 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.3298

zbMATH Keywords

chromatic numberrepresentable cylindric algebrasultraproductsatom structures

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Cylindric and polyadic algebras; relation algebras (03G15) Ultraproducts and related constructions (03C20)

Related Items (8)

Non-finitely axiomatisable two-dimensional modal logics ⋮ Subcompletions of representable relation algebras ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic

Cites Work

• Relation algebras by games
• Cylindric algebras. Part II
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Martin's axiom, omitting types, and complete representations in algebraic logic
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Varieties of complex algebras
• Strongly representable atom structures of relation algebras
• Graph Theory and Probability
• Complete representations in algebraic logic
• An introduction to cylindric set algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Canonical varieties with no canonical axiomatisation
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Boolean Algebras with Operators. Part I

This page was built for publication: Strongly representable atom structures of cylindric algebras