There are no minimal effectively inseparable theories

DOI10.1215/00294527-2023-0017arXiv2211.06190OpenAlexW4393208158MaRDI QIDQ6123815

Yong Cheng

Publication date: 8 April 2024

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.06190

zbMATH Keywords

interpretationessential undecidabilityeffective inseparability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• On \(\mathsf{Q}\)
• Vaught's Theorem on Axiomatizability by a Scheme
• Undecidable and creative theories
• Effectively extensible theories
• Axiomatizability by a schema
• Undecidability of some simple formalized theories

This page was built for publication: There are no minimal effectively inseparable theories