A version of the ∑1-reflection principle for CFA provable in PRA Export

@article{citeulike:3758913, author = {P\"{a}ppinghaus, Peter}, citeulike-article-id = {3758913}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF02011136}, citeulike-linkout-1 = {http://www.springerlink.com/content/m7101469164l0m01}, citeulike-linkout-2 = {http://www.zentralblatt-math.org/zmath/en/search/?q=an:0429.03040&format=complete}, citeulike-linkout-3 = {http://www.ams.org/mathscinet-getitem?mr=570132}, day = {1}, doi = {10.1007/BF02011136}, journal = {Archive for Mathematical Logic}, keywords = {\_copy, \_dipl, arithmetic, pra}, month = {March}, number = {1}, pages = {27--40}, posted-at = {2008-12-09 10:06:17}, priority = {0}, title = {A version of the ∑1-reflection principle for CFA provable in PRA}, url = {http://dx.doi.org/10.1007/BF02011136}, volume = {20}, year = {1980} }

TY - JOUR ID - citeulike:3758913 L3 - citeulike-article-id:3758913 IS - 1 JF - Archive for Mathematical Logic EP - 40 TI - A version of the ∑1-reflection principle for CFA provable in PRA VL - 20 SP - 27 KW - _copy KW - _dipl KW - arithmetic KW - pra AU - Päppinghaus, Peter PY - 1980/03/01/ UR - http://dx.doi.org/10.1007/BF02011136 ER -