There are no minimal essentially undecidable Theories

From MaRDI portal
Publication:6405220


MaRDI QIDQ6405220FDOQ6405220

Authors Fedor N. Pakhomov, Juvenal Murwanashyaka, Albert Visser

Publication date 17 July 2022


Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)


Abstract: We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.











This page was built for publication: There are no minimal essentially undecidable Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405220)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6405220&oldid=36056791"
Powered by MediaWiki