Pages that link to "Item:Q3083669"
From MaRDI portal
The following pages link to Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (Q3083669):
Displaying 5 items.
- 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)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
