On the Equational Theory of Representable Polyadic Equality Algebras
Nemeti, Istvan ; Sagi, Gabor
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1143-1167 / Harvested from Project Euclid
Among others we will prove that the equational theory of $\omega$ dimensional representable polyadic equality algebras (RPEA$_\omega$'s) is not schema axiomatizable. This result is in interesting contrast with the Daigneault-Monk representation theorem, which states that the class of representable polyadic algebras is finite schema-axiomatizable (and hence the equational theory of this class is finite schema-axiomatizable, as well). We will also show that the complexity of the equational theory of RPEA$_\omega$ is also extremely high in the recursion theoretic sense. Finally, comparing the present negative results with the positive results of Ildiko Sain and Viktor Gyuris [12], the following methodological conclusions will be drawn: The negative properties of polyadic (equality) algebras can be removed by switching from what we call the "polyadic algebraic paradigm" to the "cylindric algebraic paradigm".
Publié le : 2000-09-14
Classification: 
@article{1183746173,
     author = {Nemeti, Istvan and Sagi, Gabor},
     title = {On the Equational Theory of Representable Polyadic Equality Algebras},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1143-1167},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746173}
}
Nemeti, Istvan; Sagi, Gabor. On the Equational Theory of Representable Polyadic Equality Algebras. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1143-1167. http://gdmltest.u-ga.fr/item/1183746173/