Eine beweistheoretische Anwendung partieller stetiger Funktionale.
H. Vogel (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Consistency proof without transfinite induction for a formal system for turing machines.”
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
On cut elimination in the presence of peirce rule.
L. Gordeev (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:
A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
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:
Number theoretic concepts and recursive well-orderings.
G. Kreisel, J. Shoenfield (1960/61)
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:
A classification of the ordinal recursive functions.
S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Representability of recursively enumerable sets in formal theories.
A. Ehrenfeucht, S. Feferman (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Representability of recursively enumerable sets in formal theories.
J.C. Shepherdson (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: