The following pages link to (Q5800868):
Displaying 20 items.
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) (Q1121880) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Ordinals. I: Basic notions (Q1817060) (← links)
- Ordinals. II: Some applications and a functorial approach (Q1817061) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen (Q3048827) (← links)
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system (Q3335775) (← links)
- Natural well-orderings (Q3772212) (← links)
- Eine Variante Des OrdinalzahlbezeichnungssystemsΣ (Q3960846) (← links)
- Über zwei Bezeichnungssysteme für Ordinalzahlen (Q4103077) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Ein konstruktives system von Ordinalzahlen (Q5588635) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)