%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