Ein konstruktives system von Ordinalzahlen

DOI10.1007/BF01967820zbMath0193.31102MaRDI QIDQ5588635

Kurt Schütte

Publication date: 1968

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137811

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (11)

Eine Variante Des OrdinalzahlbezeichnungssystemsΣ ⋮ Ein Bezeichnungssystem für Ordinalzahlen ⋮ The machinery of consistency proofs ⋮ Natural well-orderings ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ Über zwei Bezeichnungssysteme für Ordinalzahlen ⋮ Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ ⋮ Natural well-orderings ⋮ Vergleich zweier Bezeichnungssysteme für Ordinalzahlen ⋮ Provable wellorderings of formal theories for transfinitely iterated inductive definitions

Cites Work

• Unnamed Item
• Ordinal diagrams
• Ordinal diagrams. II
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen

This page was built for publication: Ein konstruktives system von Ordinalzahlen