A classification of the ordinal recursive functions.
S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “...-inaccessible ordinals, collapsing functions and a recursive notation system.”
A classification of the ordinal recursive functions.
Majorizing provably recursive functions in fragments of PA.
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A classification of the one-argument primitive recursive functions.
Jovan Naumovic (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Number theoretic concepts and recursive well-orderings.
G. Kreisel, J. Shoenfield (1960/61)
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:
Definable Ramsey and definable Erdös ordinals.
Evangelos Kranakis (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Recursively enumerable classes and their application to recursive sequences of formal theories.
Boykan Pour-El, Marian, Hilary Putnam (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The recursive sets in certain monadic second order fragments of arithmetic.
Dirk Siefkes (1975)
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:
A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: