Pages that link to "Item:Q1885028"
From MaRDI portal
The following pages link to Well-behaved principles alternative to bounded induction (Q1885028):
Displaying 5 items.
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Bootstrapping. I (Q636291) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)