Connections between quasi-projective relation algebras and cylindric algebras

DOI10.1007/S00012-007-1999-ZMaRDI QIDQ997116zbMATH OpenOpenAlexFDO

Authors András Simon

Publication date 20 July 2007

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-007-1999-z

zbMATH Keywords

cylindric algebraquasi-projective relation algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Review text

Quasi-projective relation algebras (\textbf{QRA}s) form a subclass of all relation algebras (\textbf{RA}s). The author proves that every quasi-projective relation algebra contains cylindric algebras (\textbf{CA}s) of all finite dimensions greater than two such that (i) they are term-definable in the \textbf{QRA}s, (ii) they have relation algebraic reduct that is isomorphic to the \textbf{QRA}s and (iii) these isomorphisms are also term-definable. Furthermore, these \textbf{CA}s form a sequence such that each of them is isomorphic to a neat reduct of the higher-dimensional ones, and these isomorphisms are also term-definable. These observations yield a new proof of the representation theorem of \textbf{QRA}s.

Recommendations

• scientific article; zbMATH DE number 1735912
• Connections between Relation Algebras and Cylindric Algebras
• Relation algebras from cylindric algebras. I
• Relation algebras from cylindric and polyadic algebras
• scientific article; zbMATH DE number 1735915
• Relation algebras from cylindric algebras. II
• Relation algebra reducts of cylindric algebras and complete representations
• scientific article; zbMATH DE number 67042
• scientific article; zbMATH DE number 4068868
• scientific article; zbMATH DE number 475246

Cited in

(7)

• Weakly higher order cylindric algebras and finite axiomatization of the representables
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
• Weakly associative relation algebras with projections
• scientific article; zbMATH DE number 1735915 (Why is no real title available?)
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Omitting types for finite variable fragments and complete representations of algebras
• Some results about neat reducts

This page was built for publication: Connections between quasi-projective relation algebras and cylindric algebras

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