Ein Bezeichnungssystem für Ordinalzahlen

DOI10.1007/BF01982045zbMath0193.31103OpenAlexW2084404762MaRDI QIDQ5588636

Helmut Pfeiffer

Publication date: 1969

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

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (9)

Eine Variante Des OrdinalzahlbezeichnungssystemsΣ ⋮ Ein Bezeichnungssystem für Ordinalzahlen ⋮ Natural well-orderings ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ Ordinal arithmetic with simultaneously defined theta-functions ⋮ Über zwei Bezeichnungssysteme für Ordinalzahlen ⋮ Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ ⋮ Natural well-orderings ⋮ Provable wellorderings of formal theories for transfinitely iterated inductive definitions

This page was built for publication: Ein Bezeichnungssystem für Ordinalzahlen