Pages that link to "Item:Q2747704"
From MaRDI portal
The following pages link to Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q2747704):
Displaying 14 items.
- The consistency of arithmetic (Q666895) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) (← links)
- 2007-2008 Winter Meeting of the Association for Symbolic Logic (Q3616437) (← links)
- 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- 2002 Annual Meeting of the Association for Symbolic Logic (Q4432543) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)