Majorizing provably recursive functions in fragments of PA.
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
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: