Pages that link to "Item:Q2500821"
From MaRDI portal
The following pages link to Theories and ordinals in proof theory (Q2500821):
Displaying 4 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6560988) (← links)
