Pages that link to "Item:Q3416110"
From MaRDI portal
The following pages link to On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110):
Displaying 6 items.
- 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)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) (← links)
- 2007-2008 Winter Meeting of the Association for Symbolic Logic (Q3616437) (← links)
- 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
