Pages that link to "Item:Q2651619"
From MaRDI portal
The following pages link to Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen (Q2651619):
Displaying 5 items.
- Fruitful and helpful ordinal functions (Q953278) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
