Majorizing provably recursive functions in fragments of PA.
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A classification of the one-argument primitive recursive functions.”
Majorizing provably recursive functions in fragments of PA.
Consistency proof without transfinite induction for a formal system for turing machines.
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
H. Vogel (1978)
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:
A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On cut elimination in the presence of peirce rule.
L. Gordeev (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A classification of the ordinal recursive functions.
S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
König's Lemma, the ...-rule and primitive recursive arithmetic.
E.G.K. López-Escobar (1985)
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:
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Günter Baigger (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: