Equationally distinct countable simple {\textsf{Q}}-relation algebras (Q607448): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5810602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs. 2nd print / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some sufficient conditions for the representability of relation algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the calculus of relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / 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 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040000 / rank | |||
Normal rank |
Latest revision as of 12:43, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equationally distinct countable simple {\textsf{Q}}-relation algebras |
scientific article |
Statements
Equationally distinct countable simple {\textsf{Q}}-relation algebras (English)
0 references
22 November 2010
0 references
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.
0 references
relation algebras
0 references
Q-relation algebras
0 references
well-founded relations
0 references
representation
0 references