Notions of density that imply representability in algebraic logic

DOI10.1016/S0168-0072(98)00032-3zbMATH Open0930.03100OpenAlexW2014969671MaRDI QIDQ1295366FDOQ1295366

Authors Steven R. Givant, Szabolcs Mikulás, András Simon, Hajnal Andréka, István 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 theoremrepresentabilityfinite-dimensional algebrarelation algebrascylindric algebrasrichnessrich algebrarectangular densityBoolean monoidspoint densityquasi-polyadic algebras

Mathematics Subject Classification ID

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

Recommendations

• Representable cylindric algebras
• Various notions of represetability for cylindric and polyadic algebras
• On representability of neatly embeddable cylindric algebras
• Strongly representable atom structures of cylindric algebras
• Rectangular games

Cites work

• scientific article; zbMATH DE number 3832010 (Why is no real title available?)
• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 67043 (Why is no real title available?)
• scientific article; zbMATH DE number 67052 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3387342 (Why is no real title available?)
• scientific article; zbMATH DE number 970634 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• Algebraization of quantifier logics, an introductory overview
• Atom structures of cylindric algebras and relation algebras
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Cylindric algebras. Part II
• Cylindric and Polyadic Algebras
• Model theory.
• Nonfinitizability of classes of representable polyadic algebras
• On representable relation algebras
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• On universal algebraic constructions of logics
• Pair-Dense Relation Algebras
• Rectangular games
• Representations of distributive lattice-ordered semigroups with binary relations
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Singularly Cylindric and Polyadic Equality Algebras
• The Structure of Relation Algebras Generated by Relativizations

Cited in

(11)

• Rectangular games
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Quasi-polyadic algebras and their dual position
• Representable cylindric algebras
• The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Turning decision procedures into disprovers
• Algebraic Logic, Where Does it Stand Today?
• A representation theorem for measurable relation algebras with cyclic groups
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES

This page was built for publication: Notions of density that imply representability in algebraic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295366)