Self-verifying axiom systems, the incompleteness theorem and related reflection principles
From MaRDI portal
Publication:2747704
DOI10.2307/2695030zbMath0991.03053OpenAlexW2086098666WikidataQ55899522 ScholiaQ55899522MaRDI QIDQ2747704
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
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
