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

DOI10.1007/BF01633986MaRDI QIDQ1825868zbMATH OpenFDO

Authors Peter Paeppinghaus

Publication date 1989

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

zbMATH Keywords

Kripke-Platek set theoryBachmann-Howard ordinaldilatorsBachmann hierarchyptykes of type 2Gödel's T

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4037857
• A proof-theoretical analysis of ptykes
• A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity
• Publication:3027001
• Functoroids and ptykoids

Cites work

• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3809540 (Why is no real title available?)
• scientific article; zbMATH DE number 3914318 (Why is no real title available?)
• scientific article; zbMATH DE number 3914319 (Why is no real title available?)
• scientific article; zbMATH DE number 3920464 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 3346320 (Why is no real title available?)
• Describing ordinals using functionals of transfinite type
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen

Cited in

(5)

• Embeddability of ptykes
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• scientific article; zbMATH DE number 4037857 (Why is no real title available?)
• Reduction of higher type levels by means of an ordinal analysis of finite terms
• Functoroids and ptykoids

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)

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