A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Vogel (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Dirk Siefkes (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, J. Shoenfield (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
E.G.K. López-Escobar (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
E.G.K. López-Escobar (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J.C. Shepherdson (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: