Pages that link to "Item:Q882120"
From MaRDI portal
The following pages link to Passive induction and a solution to a Paris-Wilkie open question (Q882120):
Displaying 7 items.
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011 (Q2893284) (← links)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)
- 2007-2008 Winter Meeting of the Association for Symbolic Logic (Q3616437) (← links)
- 2008 Annual Meeting of the Association for Symbolic Logic (Q3616439) (← links)
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (Q4532626) (← links)
