We introduce two essentially undecidable first-order theories. The intended model for the theories is a term model. We prove that is mutually interpretable with Robinson’s. Moreover, we prove that Robinson’s is interpretable in.
CITATION STYLE
Kristiansen, L., & Murwanashyaka, J. (2020). On Interpretability Between Some Weak Essentially Undecidable Theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12098 LNCS, pp. 63–74). Springer. https://doi.org/10.1007/978-3-030-51466-2_6
Mendeley helps you to discover research relevant for your work.