Back to Search
Start Over
There are no minimal essentially undecidable theories.
- Source :
- Journal of Logic & Computation; Sep2024, Vol. 34 Issue 6, p1159-1171, 13p
- Publication Year :
- 2024
-
Abstract
- We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 0955792X
- Volume :
- 34
- Issue :
- 6
- Database :
- Complementary Index
- Journal :
- Journal of Logic & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 179665016
- Full Text :
- https://doi.org/10.1093/logcom/exad005