Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs

DOI10.1007/BF02007148zbMath0556.03043OpenAlexW2094681362MaRDI 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

zbMATH Keywords

cut-eliminationadmissiblesgeneralized recursionDilators

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Functionals in proof theory (03F10) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Related Items

Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Natural well-orderings ⋮ Set recursion and \(\Pi ^ 1_ 2\)-logic

Cites Work

• Π12-logic, Part 1: Dilators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item