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

DOI10.1007/BF01633986zbMath0685.03038MaRDI QIDQ1825868

Peter Paeppinghaus

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Kripke-Platek set theoryBachmann-Howard ordinalGödel's TdilatorsBachmann hierarchyptykes of type 2

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (2)

Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Embeddability of ptykes

Cites Work

• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Describing ordinals using functionals of transfinite type
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)