Number theoretic concepts and recursive well-orderings.
G. Kreisel, J. Shoenfield (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A classification of the ordinal recursive functions.”
Number theoretic concepts and recursive well-orderings.
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
...-inaccessible ordinals, collapsing functions and a recursive notation system.
Gerhard Jäger (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
W. Pohlers (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
W. Pohlers (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Günter Baigger (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Consistency proof without transfinite induction for a formal system for turing machines.
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive order types, III.
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A characterization of Takeuti's ordinal diagrams of finite order.
Kurt Schütte, Hilbert Levitz (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Natural well-orderings.
J.N. Crossley, J.B. Kister (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Majorizing provably recursive functions in fragments of PA.
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: