Page 179 - Textos de Matemática Vol. 40

Bibliography 167
[Poh92] Wolfram Pohlers. A short course in ordinal analysis. In P. Aczel, H. Simmons, and S. Wainer, editors, Proof Theory, pages 27–78. Cambridge University Press, 1992.
[Poh96] Wolfram Pohlers. Pure proof theory, aims, methods and results. Bulletin of Symbolic Logic, 2(2):159–188, 1996.
[Poh98] Wolfram Pohlers. Subsystems of set theory and second order number theory. In S. Buss, editor, Handbook of Proof Theory, chapter IV, pages 209–335. North-Holland, 1998.
[Pro99] Dieter Propst. Dependent choice in explicit mathematics. Diplom- arbeit, Universit¨at Bern, Institut fu¨r Informatik und angewandte Mathematik, 1999.
[Pro05] Dieter Propst. Pseudo-Hierarchies in Admissible Set Theory without Foundation and Explicit Mathematics. PhD thesis, Universit¨at Bern, Institut fu¨r Informatik und angewandte Mathematik, 2005.
[Qui67] W. V. Quine. Introduction to Moses Scho¨nfinkel: On the building blocks of mathematical logic. [Sch67]. In Jean van Heijenoort, editor, From Frege to G¨odel: A Source Book in Mathematical Logic, 1879– 1931, pages 355–357. [vH67], Harvard University Press, 1967.
[Rat88] Michael Rathjen. Untersuchungen zu Teilsystemen der Zahlenthe- orie zweiter Stufe und der Mengenlehre mit einer zwischen ∆12-CA und ∆12-CA + BI liegenden Beweisst¨arke. PhD thesis, Westf¨alische Wilhelms-Universit¨at, Mu¨nster, 1988.
[Rat91] Michael Rathjen. Proof-theoretic analysis of KPM. Archive for Math- ematical Logic, 30:377–403, 1991.
[Rat94] Michael Rathjen. Proof theory of reflection. Annals of Pure and Applied Logic, 68:181–224, 1994.
[Rat96] Michael Rathjen. Monotone inductive definitions in explicit mathe- matics. Journal of Symbolic Logic, 61(1):125–146, 1996.
[Rat98a] Michael Rathjen. Explicit mathematics with the monotone fixed point principle. Journal of Symbolic Logic, 63(2):509–542, 1998.
[Rat98b] Michael Rathjen. The higher infinite in proof theory. In J. Makowsky and E. Ravve, editors, Logic Colloquium ’95, volume 11 of Lecture Notes in Logic, pages 275–304. Springer, 1998.
[Rat99a] Michael Rathjen. Explicit mathematics with the monotone fixed point principle. II: Models. Journal of Symbolic Logic, 64(2):517– 550, 1999.