Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
From MaRDI portal
Publication:2649153
Cited in
(10)- Termination of rewriting
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- Well-partial orderings and their maximal order types
- Natural well-orderings
- Natural well-orderings
- Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie
- Ein konstruktives system von Ordinalzahlen
- Two applications of analytic functors
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
This page was built for publication: Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2649153)