There are no minimal essentially undecidable Theories
Publication date
2022-07-17
Authors
Pakhomov, Fedor
Murwanashyaka, Juvenal
Visser, Albert
Editors
Advisors
Supervisors
Document Type
/dk/atira/pure/researchoutput/researchoutputtypes/workingpaper/preprint
Metadata
Show full item recordCollections
License
cc_by
Abstract
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
Keywords
math.LO, 03F30, 03F40, 03F45
Citation
Pakhomov, F, Murwanashyaka, J & Visser, A 2022 'There are no minimal essentially undecidable Theories' arXiv. https://doi.org/10.48550/arXiv.2207.08174