One variable is not enough for defining relation algebras, but two are (Q1175933)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: One variable is not enough for defining relation algebras, but two are |
scientific article; zbMATH DE number 14884
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | One variable is not enough for defining relation algebras, but two are |
scientific article; zbMATH DE number 14884 |
Statements
One variable is not enough for defining relation algebras, but two are (English)
0 references
25 June 1992
0 references
The definitions investigated in this paper are axiomatizations of the class of relation algebras by sets of first-order formulas over the class of Boolean algebras. The main results are the non-existence of such an axiomatization involving only one variable (which answers in the negative a question raised by Tarski) and the existence of a system of axioms involving only two variables.
0 references
axiomatizations
0 references
relation algebras
0 references
Boolean algebras
0 references
