FINDING THE LIMIT OF INCOMPLETENESS I

DOI10.1017/bsl.2020.9zbMath1464.03089arXiv1902.06658OpenAlexW2914969657MaRDI QIDQ4984861

Yong Cheng

Publication date: 21 April 2021

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Gödel's first incompleteness theoreminterpretationessential undecidabilityRobinson's \textbf{R}

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)

Related Items (3)

CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Weak essentially undecidable theories of concatenation ⋮ On interpretability between some weak essentially undecidable theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
• The incompleteness theorems after 70 years
• Growing commas. A study of sequentiality and concatenation
• On interpretability in the theory of concatenation
• Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
• On \(\mathsf{Q}\)
• Undecidability without arithmetization
• The recursively enumerable degrees are dense
• Undecidable theories
• Gödel's Disjunction
• Interpretability in Robinson's Q
• Gödel incompleteness theorems and the limits of their applicability. I
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Degrees of unsolvability associated with classes of formalized theories
• Degrees of formal systems
• Arithmetic on semigroups
• Rosser sentences
• Variants of Robinson's essentially undecidable theoryR
• Interlude: About the First Theorem
• Recursive functions and existentially closed structures
• Incompleteness for Higher-Order Arithmetic
• Degrees of Unsolvability. (AM-55)
• Deduction-preserving "Recursive Isomorphisms" between theories
• Undecidability of some simple formalized theories

This page was built for publication: FINDING THE LIMIT OF INCOMPLETENESS I