Pages that link to "Item:Q4532626"

The following pages link to How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (Q4532626):

Displayed 20 items.

• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) ‎ (← links)
• Polynomially bounded recursive realizability (Q817959) ‎ (← links)
• Passive induction and a solution to a Paris-Wilkie open question (Q882120) ‎ (← links)
• Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) ‎ (← links)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) ‎ (← links)
• A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) ‎ (← links)
• 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) ‎ (← links)
• Herbrand consistency of some arithmetical theories (Q2915894) ‎ (← links)
• On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110) ‎ (← links)
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) ‎ (← links)
• 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) ‎ (← 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)
• 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)
• 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) ‎ (← links)
• On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories (Q5480630) ‎ (← links)
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) ‎ (← links)