Undecidable Relativizations of Algebras of Relations

Mikulas, Szabolcs; Marx, Maarten

J. Symbolic Logic, Tome 64 (1999) no. 1, p. 747-760 / Harvested from Project Euclid

Résumé

In this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.

Publié le : 1999-06-14
Classification:

@article{1183745806,
     author = {Mikulas, Szabolcs and Marx, Maarten},
     title = {Undecidable Relativizations of Algebras of Relations},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 747-760},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745806}
}

Mikulas, Szabolcs; Marx, Maarten. Undecidable Relativizations of Algebras of Relations. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  747-760. http://gdmltest.u-ga.fr/item/1183745806/