Pages that link to "Item:Q5486248"

The following pages link to An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248):

Displaying 7 items.

• The single-minded pursuit of consistency and its weakness (Q631514) (← 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)
• 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
• On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110) (← links)
• The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)