Complexity of equational theory of relational algebras with standard projection elements

• Autores: Szabolcs Mikulás, Ildikó Sain, András Simon
• Localización: Synthese, ISSN-e 1573-0964, Vol. 192, Nº. 7, 2015, págs. 2159-2182
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The class TPA of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of TPA nor the first order theory of TPA are decidable. Moreover, we show that the set of all equations valid in TPA is exactly on the Π 1 1 level. We consider the class TPA− of the relation algebra reducts of TPA’s, as well. We prove that the equational theory of TPA− is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work