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

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

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)

Cites Work

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

Cited In (10)

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

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)