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

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