Georg Kreisel and Gaisi Takeuti. Formally self-referential propositions for cut free analysis and related systems. Dissertationes mathematicae (Rozprawy matematyczne), no. 118, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1974, 50 pp. - Peter Päppinghaus. A version of the Σ1-reflection principle for CFA provable in PRA. Archiv für mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 27–40.
Carlo Cellucci · Journal of Symbolic Logic · 1985
Georg Kreisel and Gaisi Takeuti. Formally self-referential propositions for cut free analysis and related systems. Dissertationes mathematicae (Rozprawy matematyczne), no. 118, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1974, 50 pp. - Peter Päppinghaus. A version of the Σ1-reflection principle for CFA provable in PRA. Archiv für mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 27–40. - Volume 50 Issue 1