Publication:3690814
From MaRDI portal
zbMath0573.03029MaRDI QIDQ3690814
Jean-Yves Girard, Jean-Pierre Ressayre
Publication date: 1985
03F15: Recursive ordinals and ordinal notations
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
A proof-theoretical analysis of ptykes, Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)