Notions of density that imply representability in algebraic logic

DOI10.1016/S0168-0072(98)00032-3zbMath0930.03100OpenAlexW2014969671MaRDI QIDQ1295366

Steven Givant, Szabolcs Mikulás, András Simon, Hajnalka Andréka, Istvan Németi

Publication date: 15 February 2000

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(98)00032-3

zbMATH Keywords

representation theoremrepresentabilityrelation algebrascylindric algebrasfinite-dimensional algebrarichnessrich algebrarectangular densityBoolean monoidspoint densityquasi-polyadic algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

Rectangular games, Quasi-polyadic algebras and their dual position, THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, A brief history of Tarskian algebraic logic with new perspectives and innovations, STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES, A representation theorem for measurable relation algebras with cyclic groups, Algebraic Logic, Where Does it Stand Today?, Turning decision procedures into disprovers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Model theory.
• Algebraization of quantifier logics, an introductory overview
• On universal algebraic constructions of logics
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Representations of distributive lattice-ordered semigroups with binary relations
• On representable relation algebras
• Cylindric and Polyadic Algebras
• Pair-Dense Relation Algebras
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Rectangular games
• The Structure of Relation Algebras Generated by Relativizations
• Nonfinitizability of classes of representable polyadic algebras
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Singularly Cylindric and Polyadic Equality Algebras
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators