Pages that link to "Item:Q2651619"
From MaRDI portal
The following pages link to Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen (Q2651619):
Displaying 24 items.
- Fruitful and helpful ordinal functions (Q953278) (← links)
- Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger) (Q1102955) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- An extension of Schütte's Klammersymbole (Q2528384) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- Natural well-orderings (Q3772212) (← links)
- Bounds for the closure ordinals of replete monotonic increasing functions (Q4088794) (← links)
- P.R.-Regulated Systems of Notation and the Subrecursive Hierarchy Equivalence Property (Q4140975) (← links)
- … and so on: Schütte on Naming Ordinals (Q5013893) (← links)
- Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees (Q5013906) (← links)
- Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie (Q5013915) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Systems of predicative analysis (Q5344166) (← links)
- Systems of predicative analysis, II: Representations of ordinals (Q5544287) (← links)
- Ein konstruktives system von Ordinalzahlen (Q5588635) (← links)
- A characterization of Takeuti's ordinal diagrams of finite order (Q5655349) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Well partial orders (Q6612816) (← links)
