An extension of Schütte's Klammersymbole

DOI10.1007/BF01360719zbMath0162.01901OpenAlexW2914042794MaRDI QIDQ2528384

Hans U. Gerber

Publication date: 1967

Published in: Mathematische Annalen (Search for Journal in Brave)

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

zbMATH Keywords

set theory

Related Items (11)

Eine Variante Des OrdinalzahlbezeichnungssystemsΣ ⋮ Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Unnamed Item ⋮ Natural well-orderings ⋮ A characterization of Takeuti's ordinal diagrams of finite order ⋮ A system of abstract constructive ordinals ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal ⋮ Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen ⋮ Two applications of analytic functors ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal

Cites Work

• Unnamed Item
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

This page was built for publication: An extension of Schütte's Klammersymbole