The limitless first incompleteness theorem

DOI10.1093/JIGPAL/JZAF012MaRDI QIDQ6922554zbMATH OpenFDO

Authors Yong Cheng

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAF012

zbMATH Keywords

essentially undecidable theoriesGödel's incompleteness theoremsinterpretationminimalityrecursively inseparable theories

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites work

• Current research on Gödel's incompleteness theorems
• Cuts, consistency statements and interpretations
• Degrees of formal systems
• Degrees of unsolvability associated with classes of formalized theories
• Essential hereditary undecidability
• Finding the limit of incompleteness. I
• Gödel's Second incompleteness theorem for Q
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On \(\mathsf{Q}\)
• On the relationships between some meta-mathematical properties of arithmetical theories
• Theories with Effectively Inseparable Nuclei
• There are no minimal effectively inseparable theories
• There are no minimal essentially undecidable theories
• Undecidability of some simple formalized theories
• Why the theory R is special

This page was built for publication: The limitless first incompleteness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6922554)