Bare canonicity of representable cylindric and polyadic algebras
From MaRDI portal
Publication:387126
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
random graphs; Boolean algebras with operators; cylindric algebras; canonical class; canonical extensions; polyadic algebras
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