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

DOI10.1007/BF01633986zbMATH Open0685.03038MaRDI QIDQ1825868FDOQ1825868

Authors: Peter Paeppinghaus 

Publication date: 1989

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

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

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)

Cites Work

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

Cited In (5)

• Embeddability of ptykes
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Title not available (Why is that?)
• 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)