ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM

DOI10.1017/S1755020319000248zbMath1444.03168OpenAlexW3021749776MaRDI QIDQ5107534

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

second incompleteness theoremformal theoriesSolomon FefermanLöb conditions

Mathematics Subject Classification ID

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

Related Items

CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faith \& falsity
• Self-reference and modal logic
• Arithmetic analogues of McAloon's unique Rosser sentences
• Provability interpretations of modal logic
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Peano's smart children: A provability logical study of systems with built-in consistency
• A smart child of Peano's
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Uniform density in Lindenbaum algebras
• Undecidable theories
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• "Flexible" Predicates of Formal Number Theory
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• The Interpretation Existence Lemma
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• Notes on polynomially bounded arithmetic