There are no minimal essentially undecidable Theories
Logic
2022-08-23 v2
Abstract
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
Cite
@article{arxiv.2207.08174,
title = {There are no minimal essentially undecidable Theories},
author = {Fedor Pakhomov and Juvenal Murwanashyaka and Albert Visser},
journal= {arXiv preprint arXiv:2207.08174},
year = {2022}
}