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

DOI10.1007/BF02011877zbMATH Open0414.03034OpenAlexW1965591157MaRDI QIDQ3048827FDOQ3048827

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

• A system of abstract constructive ordinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An extension of Schütte's Klammersymbole

Cited In (2)

• Title not available (Why is that?)
• 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)