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