Pages that link to "Ordinal analysis"
Jump to navigation
Jump to search
The following pages link to Ordinal analysis:
Displaying 20 items.
- Gödel's incompleteness theorems (← links)
- History of logic (← links)
- Proof theory (← links)
- Reverse mathematics (← links)
- Kripke–Platek set theory (← links)
- William Alvin Howard (← links)
- Second-order arithmetic (← links)
- Kruskal's tree theorem (← links)
- Epsilon number (← links)
- Gentzen's consistency proof (← links)
- Large countable ordinal (← links)
- Constructive set theory (← links)
- Computable ordinal (← links)
- Ordinal notation (← links)
- Grzegorczyk hierarchy (← links)
- Subcountability (← links)
- Classical Hamiltonian quaternions (← links)
- Ordinal collapsing function (← links)
- Buchholz's ordinal (← links)
- Testwiki:Reference desk/Archives/Mathematics/2022 January 14 (← links)