Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen

DOI10.1007/BF02011877zbMath0414.03034OpenAlexW1965591157MaRDI QIDQ3048827

H. Vogel

Publication date: 1978

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

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

zbMATH Keywords

proof theorylower boundscontinuous functionalBachmann-Howard-ordinalbar recursion of type zeroSpector treestransfinite iteration of finite type

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Unnamed Item ⋮ Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)

Cites Work

• An extension of Schütte's Klammersymbole
• A system of abstract constructive ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen