There are no minimal essentially undecidable Theories
From MaRDI portal
Publication:6405220
arXiv2207.08174MaRDI QIDQ6405220FDOQ6405220
Authors: Fedor N. Pakhomov, Juvenal Murwanashyaka, Albert Visser 
Publication date: 17 July 2022
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)
