Nonfinite Axiomatizability Results for Cylindric and Relation Algebras
Maddux, Roger D.
J. Symbolic Logic, Tome 54 (1989) no. 1, p. 951-974 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The set of equations which use only one variable and hold in all representable relation algebras cannot be derived from any finite set of equations true in all representable relation algebras. Similar results hold for cylindric algebras and for logic with finitely many variables. The main tools are a construction of nonrepresentable one-generated relation algebras, a method for obtaining cylindric algebras from relation algebras, and the use of relation algebras in defining algebraic semantics for first-order logic.
Publié le : 1989-09-14
Classification:  
@article{1183743031,
     author = {Maddux, Roger D.},
     title = {Nonfinite Axiomatizability Results for Cylindric and Relation Algebras},
     journal = {J. Symbolic Logic},
     volume = {54},
     number = {1},
     year = {1989},
     pages = { 951-974},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743031}
}

Maddux, Roger D. Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. J. Symbolic Logic, Tome 54 (1989) no. 1, pp.  951-974. http://gdmltest.u-ga.fr/item/1183743031/