Equationally distinct countable simple {\textsf{Q}}-relation algebras

DOI10.1007/S00012-010-0068-1MaRDI QIDQ607448zbMATH OpenOpenAlexFDO

Authors Jian-Feng Wu

Publication date 22 November 2010

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-010-0068-1

zbMATH Keywords

Q-relation algebrasrelation algebrasrepresentationwell-founded relations

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02)

Review text

Tarski's Q-relation algebras are relation algebras with two elements that behave like projection functions. The author extracts a representation for countable simple Q-relation algebras from the proof in [\textit{R.\ Maddux}, ``Some sufficient conditions for the representability of relation algebras, Algebra Univers. 8, 162--172 (1978; Zbl 0386.03033)] that all Q-relation algebras (and more) are representable. This representation preserves well-foundedness of binary relations when applied to proper Q-relation algebras (in which the elements are already relations) and provides a link between relation algebras and countable models of set theory. The author proves the existence of equationally distinct countable simple Q-relation algebras using, as an example, the sentence CH, which is known to be independent of ZFC.

Recommendations

• Q-algebras
• Simple relation algebras
• Non-embeddable simple relation algebras
• Decision problems for equational theories of relation algebras
• The Structure of Relation Algebras Generated by Relativizations

Cites work

• Collected papers. Volume 1: 1921--1934. Volume 2: 1935--1944. Volume 3: 1945--1957. Volume 4: 1958--1979. Ed. by Steven R. Givant and Ralph N. McKenzie
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• On the calculus of relations
• Set theory. An introduction to independence proofs. 2nd print
• Some sufficient conditions for the representability of relation algebras

This page was built for publication: Equationally distinct countable simple {\textsf{Q}}-relation algebras

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