Pages that link to "Second-order arithmetic"
Jump to navigation
Jump to search
The following pages link to Second-order arithmetic:
Displaying 8 items.
- Buchholz's ordinal (← links)
- Axiom of non-choice (← links)
- Laver's theorem (← links)
- Induction, bounding and least number principles (← links)
- Theories of iterated inductive definitions (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 February 17 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2012 September 12 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2021 July 24 (← links)