Self-verifying axiom systems, the incompleteness theorem and related reflection principles

DOI10.2307/2695030zbMath0991.03053OpenAlexW2086098666WikidataQ55899522 ScholiaQ55899522MaRDI QIDQ2747704

Dan E. Willard

Publication date: 29 August 2002

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

Full work available at URL: https://doi.org/10.2307/2695030

zbMATH Keywords

arithmeticdivisionsubtractionweak axiom systems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (14)

Passive induction and a solution to a Paris-Wilkie open question ⋮ The consistency of arithmetic ⋮ The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ 2006 Annual Meeting of the Association for Symbolic Logic ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem ⋮ 2002 Annual Meeting of the Association for Symbolic Logic ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ 2007-2008 Winter Meeting of the Association for Symbolic Logic ⋮ 2008 Annual Meeting of the Association for Symbolic Logic ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• Gödel's Second incompleteness theorem for Q
• Rudimentary Predicates and Relative Computation
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Self-verifying axiom systems, the incompleteness theorem and related reflection principles