Pages that link to "Ordinal analysis"
From HandWiki
The following pages link to Ordinal analysis:
Displayed 30 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Gödel's incompleteness theorems (← links)
- Kruskal's tree theorem (← links)
- Reverse mathematics (← links)
- Proof theory (← links)
- Bachmann–Howard ordinal (← links)
- Epsilon numbers (mathematics) (← links)
- Large countable ordinal (← links)
- Ordinal collapsing function (← links)
- Ordinal notation (← links)
- Grzegorczyk hierarchy (← links)
- Constructive set theory (← links)
- Elementary function arithmetic (← links)
- Gentzen's consistency proof (← links)
- Subcountability (← links)
- Shrewd cardinal (← links)
- Second-order arithmetic (← links)
- Classical Hamiltonian quaternions (← links)
- Hilbert's second problem (← links)
- Computable ordinal (← links)
- Arai ψ function (← links)
- Takeuti–Feferman–Buchholz ordinal (← links)
- Buchholz's ordinal (← links)
- First-order arithmetic (← links)
- Explicit mathematics (← links)
- Arai psi function (← links)
- Epsilon number (← links)
- Philosophy:History of logic (← links)
- Biography:Kurt Schütte (← links)
- Biography:William Alvin Howard (← links)
- Biography:Gerhard Gentzen (← links)
