scientific article
From MaRDI portal
Publication:3695279
zbMath0576.03035MaRDI QIDQ3695279
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
direct limituniversefunctorfiber productordinalsGödel's Tdilatorcategory of ordinalsGirard'srecursion theory on
Categorical logic, topoi (03G30) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) ⋮ Normal functors, power series and \(\lambda\)-calculus ⋮ Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Natural well-orderings ⋮ Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
