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
_version_ 1783549217276428288
author Kristiansen, Lars
Murwanashyaka, Juvenal
author_facet Kristiansen, Lars
Murwanashyaka, Juvenal
author_sort Kristiansen, Lars
collection PubMed
description 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].
format Online
Article
Text
id pubmed-7309488
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73094882020-06-23 On Interpretability Between Some Weak Essentially Undecidable Theories Kristiansen, Lars Murwanashyaka, Juvenal Beyond the Horizon of Computability Article 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]. 2020-06-24 /pmc/articles/PMC7309488/ http://dx.doi.org/10.1007/978-3-030-51466-2_6 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Kristiansen, Lars
Murwanashyaka, Juvenal
On Interpretability Between Some Weak Essentially Undecidable Theories
title On Interpretability Between Some Weak Essentially Undecidable Theories
title_full On Interpretability Between Some Weak Essentially Undecidable Theories
title_fullStr On Interpretability Between Some Weak Essentially Undecidable Theories
title_full_unstemmed On Interpretability Between Some Weak Essentially Undecidable Theories
title_short On Interpretability Between Some Weak Essentially Undecidable Theories
title_sort on interpretability between some weak essentially undecidable theories
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309488/
http://dx.doi.org/10.1007/978-3-030-51466-2_6
work_keys_str_mv AT kristiansenlars oninterpretabilitybetweensomeweakessentiallyundecidabletheories
AT murwanashyakajuvenal oninterpretabilitybetweensomeweakessentiallyundecidabletheories

Ejemplares similares