GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC

DOI10.1017/S1755020317000235zbMath1426.03038OpenAlexW2767358137MaRDI QIDQ4600818

Makoto Kikuchi, Taishi Kurahashi

Publication date: 17 January 2018

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

Full work available at URL: https://doi.org/10.1017/s1755020317000235

zbMATH Keywords

Gödel's incompleteness theorems\(\Sigma_n\)-definable theories

Mathematics Subject Classification ID

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

Related Items

On partial disjunction properties of theories containing Peano arithmetic, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant, A formally verified abstract account of Gödel's incompleteness theorems, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-reference and modal logic
• Experimental logics and \(\Delta^0_2\)-theories
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• The classical and the ω-complete arithmetic
• Arithmetization of metamathematics in a general setting
• Reflection principles and provability algebras in formal arithmetic
• Experimental logics and Π₃⁰ theories
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Extensions of some theorems of Gödel and Church
• Models of axiomatic systems