Pages that link to "Item:Q2893322"
From MaRDI portal
The following pages link to Separating bounded arithmetical theories by Herbrand consistency (Q2893322):
Displaying 4 items.
- Separations of theories in weak bounded arithmetic (Q1344280) (← links)
- Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) (← links)
- Separations of first and second order theories in bounded arithmetic (Q2388431) (← links)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)