Another look at the second incompleteness theorem

DOI10.1017/S1755020319000248MaRDI QIDQ5107534zbMATH OpenOpenAlexFDO

Authors Albert Visser

Publication date 27 April 2020

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

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

zbMATH Keywords

formal theoriesLöb conditionssecond incompleteness theoremSolomon Feferman

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• On the notion of \textit{Proving its own consistency}
• Can we make the second incompleteness theorem coordinate free?
• On Godel's Second Incompleteness Theorem
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

Cites work

• "Flexible" Predicates of Formal Number Theory
• A smart child of Peano's
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetic analogues of McAloon's unique Rosser sentences
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Arithmetization of metamathematics in a general setting
• Can we make the second incompleteness theorem coordinate free?
• Cuts, consistency statements and interpretations
• Faith \& falsity
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Notes on polynomially bounded arithmetic
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Oracle bites theory
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Peano's smart children: A provability logical study of systems with built-in consistency
• Provability interpretations of modal logic
• Self-reference and modal logic
• The interpretation existence lemma
• The worm principle
• Undecidable theories
• Uniform density in Lindenbaum algebras

Cited in

(13)

• Revisiting Chaitin's incompleteness theorem
• Rosser provability and the second incompleteness theorem
• A generalization of the second incompleteness theorem and some exceptions to it
• A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
• Can we make the second incompleteness theorem coordinate free?
• Current research on Gödel's incompleteness theorems
• Gödel's second incompleteness theorem: how it is derived and what it delivers
• On the notion of \textit{Proving its own consistency}
• Finitely axiomatized theories lack self‐comprehension
• Numeral completeness of weak theories of arithmetic
• General notions of consistency
• Mathematical developments of the incompleteness theorems
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem

This page was built for publication: Another look at the second incompleteness theorem

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