Pages that link to "Item:Q2649153"
From MaRDI portal
The following pages link to Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse (Q2649153):
Displaying 9 items.
- Termination of rewriting (Q1098624) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen (Q2651619) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Natural well-orderings (Q3772212) (← links)
- Natural well-orderings (Q4405144) (← links)
- Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie (Q5013915) (← links)
- Ein konstruktives system von Ordinalzahlen (Q5588635) (← links)
- Two applications of analytic functors (Q5958294) (← links)
