scientific article
From MaRDI portal
Publication:3690814
zbMath0573.03029MaRDI QIDQ3690814
Jean-Yves Girard, Jean-Pierre Ressayre
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (5)
Boundedness theorems for flowers and sharps ⋮ Locally hyperarithmetical induction ⋮ The Π21$\Pi ^1_2$ consequences of a theory ⋮ Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) ⋮ A proof-theoretical analysis of ptykes
This page was built for publication:
