Pages that link to "Second-order arithmetic"
From HandWiki
The following pages link to Second-order arithmetic:
Displayed 22 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Takeuti's conjecture (← links)
- Axiom schema of replacement (← links)
- Dushnik–Miller theorem (← links)
- Reverse Mathematics: Proofs from the Inside Out (← links)
- Hilbert's second problem (← links)
- Robinson arithmetic (← links)
- Laver's theorem (← links)
- Ψ0(Ωω) (← links)
- Induction, bounding and least number principles (← links)
- Nonrecursive ordinal (← links)
- Buchholz's ordinal (← links)
- Buchholz's ID hierarchy (← links)
- First-order arithmetic (← links)
- Theories of iterated inductive definitions (← links)
- Axiom (← links)
- Determinacy (← links)
- Philosophy:Second-order logic (← links)
- Philosophy:Japaridze's polymodal logic (← links)
- Philosophy:Interpretation (logic) (← links)
- Biography:Hilary Putnam (← links)
- Biography:Gottlob Frege (← links)
- Software:Finite promise games and greedy clique sequences (← links)
