Geodesic
A version of the ...1-reflection principle for CFA provable in PRA.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 27-40.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : metamathematics, cut-free analysis, reflection principle, primitive recursive arithmetic, syntactic analysis 
@article{AMLG_1980__20_137958,
     author = {Peter P\"appinghaus},
     title = {A version of the ...1-reflection principle for {CFA} provable in {PRA.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {27--40},
     publisher = {mathdoc},
     volume = {20},
     year = {1980},
     zbl = {0429.03040},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137958/}
}
TY  - JOUR
AU  - Peter Päppinghaus
TI  - A version of the ...1-reflection principle for CFA provable in PRA.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1980
SP  - 27
EP  - 40
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137958/
ID  - AMLG_1980__20_137958
ER  - 
%0 Journal Article
%A Peter Päppinghaus
%T A version of the ...1-reflection principle for CFA provable in PRA.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 27-40
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137958/
%F AMLG_1980__20_137958
Peter Päppinghaus. A version of the ...1-reflection principle for CFA provable in PRA.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 27-40. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137958/