Pages that link to "Second-order arithmetic"
Jump to navigation
Jump to search
The following pages link to Second-order arithmetic:
Displayed 8 items.
- Natural numbers (← links | edit)
- Buchholz ordinal (← links | edit)
- Omega^omega (← links | edit)
- Kripke-Platek set theory (← links | edit)
- Z2 (redirect page) (← links | edit)
- ZFC (← links | edit)
- Taranovsky's ordinal notations (← links | edit)
- Peano arithmetic (← links | edit)