Bare canonicity of representable cylindric and polyadic algebras

DOI10.1016/j.apal.2013.04.002zbMath1321.03077arXiv1202.5961MaRDI QIDQ387126

Jannis Bulian, I. M. Hodkinson

Publication date: 11 December 2013

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

Full work available at URL: https://arxiv.org/abs/1202.5961

zbMATH Keywords

random graphs; Boolean algebras with operators; cylindric algebras; canonical class; canonical extensions; polyadic algebras

Mathematics Subject Classification ID

05C90: Applications of graph theory

03C05: Equational classes, universal algebra in model theory

03G15: Cylindric and polyadic algebras; relation algebras

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

03G27: Abstract algebraic logic

Related Items

Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, Omitting Types in Fragments and Extensions of First Order Logic, A dichotomy for some elementarily generated modal logics, Canonical extensions and ultraproducts of polarities, A brief history of Tarskian algebraic logic with new perspectives and innovations, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The core of a graph
• Cylindric algebras. Part II
• Model theory.
• Atom structures and Sahlqvist equations
• Tools and techniques in modal logic
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
• Graph Theory and Probability
• Strongly representable atom structures of cylindric algebras
• Canonical varieties with no canonical axiomatisation
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Boolean Algebras with Operators. Part I