A version of the ...1-reflection principle for CFA provable in PRA.
Päppinghaus, Peter
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), p. 27-40 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1980-01-01
EUDML-ID : urn:eudml:doc:137958 
@article{GDZPPN002045079,
     title = {A version of the ...1-reflection principle for CFA provable in PRA.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {20},
     year = {1980},
     pages = {27-40},
     zbl = {0429.03040},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045079}
}

Päppinghaus, Peter. 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://gdmltest.u-ga.fr/item/GDZPPN002045079/