Majorizing provably recursive functions in fragments of PA.
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “König's Lemma, the ...-rule and primitive recursive arithmetic.”
Majorizing provably recursive functions in fragments of PA.
On cut elimination in the presence of peirce rule.
L. Gordeev (1987)
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:
A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
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:
Consistency proof without transfinite induction for a formal system for turing machines.
Salvatore Caporaso (1978)
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:
Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
Daniele Mundici (1983)
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: