Generalizations of Gödel's incompleteness theorems for _n-definable theories of arithmetic

DOI10.1017/S1755020317000235MaRDI QIDQ4600818zbMATH OpenOpenAlexFDO

Authors 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

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

Mathematics Subject Classification ID

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

Recommendations

• Gödel's second incompleteness theorem for _n-definable theories
• Gödel-Rosser's incompleteness theorem, generalized and optimized for definable theories
• Current research on Gödel's incompleteness theorems
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• On partial disjunction properties of theories containing Peano arithmetic

Cites work

• Arithmetization of metamathematics in a general setting
• Experimental logics and ^0_2-theories
• Experimental logics and Π₃⁰ theories
• Extensions of some theorems of Gödel and Church
• scientific article; zbMATH DE number 3679820 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 2222023 (Why is no real title available?)
• Models of axiomatic systems
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• Reflection principles and provability algebras in formal arithmetic
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Self-reference and modal logic
• The classical and the ω-complete arithmetic

Cited in

(14)

• On partial disjunction properties of theories containing Peano arithmetic
• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• A formally verified abstract account of Gödel's incompleteness theorems
• A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
• Gödel-Rosser's incompleteness theorem, generalized and optimized for definable theories
• Current research on Gödel's incompleteness theorems
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• Gödel's second incompleteness theorem for _n-definable theories
• scientific article; zbMATH DE number 3069864 (Why is no real title available?)
• Reflexivity of -consistency in a general setting
• Smullyan's truth and provability
• Numeral completeness of weak theories of arithmetic
• General notions of consistency
• Mathematical developments of the incompleteness theorems

This page was built for publication: Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic

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