A remark of representable positive cylindric algebras

DOI10.1007/BF01190418MaRDI QIDQ2276955zbMATH OpenOpenAlexFDO

Authors Stephen D. Comer

Publication date 1991

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190418

zbMATH Keywords

positive cylindric set algebrapositive reductrepresentable cylindric algebrasrepresentable positive cylindric algebrasuniversal class

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Review text

If one considers all of the usual cylindric operations except for complementation, one naturally defines a positive cylindric set algebra, and the class \(RCA^+_{\alpha}\) of representable positive cylindric algebras. The author shows that \(RCA^+_{\alpha}\) is a universal class for all \(\alpha\), and is not axiomatizable by a finite scheme for all \(\alpha\geq 3\). The proof of the second result is based on the fact that the complement of the ordinary class of representable cylindric algebras is not closed under ultraproducts.

Recommendations

• The class of representable cylindric algebras has no canonical axiomatization
• Relation algebras from cylindric algebras. II
• Strongly representable atom structures of cylindric algebras
• Representable cylindric algebras
• On representability of neatly embeddable cylindric algebras

Cites work

• Cylindric algebras. Part II
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• Nonfinitizability of classes of representable cylindric algebras
• The relational model of data and cylindric algebras

Cited in

(9)

• Algebraization of quantifier logics, an introductory overview
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• The equational theory of union-free algebras of relations
• A note on substitutions in representable cylindric algebras
• A completeness theorem for higher order logics
• Undecidability of representability as binary relations
• The class of representable cylindric algebras has no canonical axiomatization
• On some developments in the representation theory of cylindric-like algebras

This page was built for publication: A remark of representable positive cylindric algebras

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