Pages that link to "Item:Q5480630"
From MaRDI portal
The following pages link to On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories (Q5480630):
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)
- 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)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)
