On Interpretability Between Some Weak Essentially Undecidable Theories

We introduce two essentially undecidable first-order theories [Formula: see text] and [Formula: see text]. The intended model for the theories is a term model. We prove that [Formula: see text] is mutually interpretable with Robinson’s [Formula: see text]. Moreover, we prove that Robinson’s [Formula...

Descripción completa

Detalles Bibliográficos
Autores principales: Kristiansen, Lars, Murwanashyaka, Juvenal
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309488/
http://dx.doi.org/10.1007/978-3-030-51466-2_6
Descripción
Sumario:We introduce two essentially undecidable first-order theories [Formula: see text] and [Formula: see text]. The intended model for the theories is a term model. We prove that [Formula: see text] is mutually interpretable with Robinson’s [Formula: see text]. Moreover, we prove that Robinson’s [Formula: see text] is interpretable in [Formula: see text].

Ejemplares similares