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 search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: