Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
From MaRDI portal
Publication:3220581
DOI10.1007/BF02007148zbMath0556.03043MaRDI QIDQ3220581
Jean-Yves Girard, Jacqueline Vauzeilles
Publication date: 1984
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138030
03F05: Cut-elimination and normal-form theorems
03F10: Functionals in proof theory
03F15: Recursive ordinals and ordinal notations
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D65: Higher-type and set recursion theory
Related Items
Set recursion and \(\Pi ^ 1_ 2\)-logic, Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy), Natural well-orderings
Cites Work