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

DOI10.1007/BF02011877MaRDI QIDQ3048827zbMATH OpenOpenAlexFDO

Authors 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

lower boundsproof theorycontinuous functionalBachmann-Howard-ordinalbar recursion of type zeroSpector treestransfinite iteration of finite type

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3557777 (Why is no real title available?)
• scientific article; zbMATH DE number 3335898 (Why is no real title available?)
• scientific article; zbMATH DE number 3061667 (Why is no real title available?)
• A system of abstract constructive ordinals
• An extension of Schütte's Klammersymbole

Cited in

(2)

• scientific article; zbMATH DE number 3693265 (Why is no real title available?)
• Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3048827)