On cut elimination in the presence of peirce rule.
L. Gordeev (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A version of the ...1-reflection principle for CFA provable in PRA.”
On cut elimination in the presence of peirce rule.
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
H. Vogel (1978)
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:
Consistency proof without transfinite induction for a formal system for turing machines.
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
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:
Number theoretic concepts and recursive well-orderings.
G. Kreisel, J. Shoenfield (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive order types, III.
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive analysis and thermodynamics formulations.
Antonino Drago (1984)
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:
A well-ordering proof for Feferman's theory To.
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: