Page 178 - Textos de Matemática Vol. 40
P. 178
166 Bibliography
[Moo82] Gregory H. Moore. Zermelo’s Axiom of Choice. Its Origins, Devel- opment and Influence. Studies in the History of Mathematics and Physical Sciences, 8. Springer, 1982.
[Moo02] Gregory H. Moore. Hilbert on the infinite: The role of set theory in the evolution of Hilbert’s thought. Historia Mathematica, 29:40–64, 2002.
[Mos74] Yiannis Moschovakis. Elementary induction on abstract structures. North-Holland, 1974.
[MS98] Markus Marzetta and Thomas Strahm. The μ quantification oper- ator in explicit mathematics with universes and iterated fixed point theories with ordinals. Archive for Mathematical Logic, 37(5–6):391– 413, 1998.
[Odi89] Piergiorgio Odifreddi. Classical Recursion Theory, volume 125 of Studies in Logic and the Foundations of Mathematics. North- Holland, 1989.
[Pal98] Erik Palmgren. On universes in type theory. In G. Sambin and J. Smith, editors, Twenty Five Years of Constructive Type Theory, Oxford Logic Guides, pages 191–204. Oxford University Press, 1998.
[Pec90] Volker Peckhaus. Hilbertprogramm und Kritische Philosophie, vol- ume 7 of Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik. Vandenhoek & Ruprecht, 1990.
[Pec04] Volker Peckhaus. Paradoxes in G¨ottingen. In Godehard Link, editor, One Hundred Years of Russell’s Paradox, de Gruyter Series in Logic and Its Applications, 6, pages 501–515. de Gruyter, 2004.
[PK02] Volker Peckhaus and Reinhard Kahle. Hilbert’s Paradox. Historia Mathematica, 29(2):157–175, 2002.
[Poh82] Wolfram Pohlers. Admissibility in proof theory. In L. J. Cohen, J.Lo´s,H.Pfeiffer,andK.-P.Podewski,editors,Logic,Methodology and Philosophy of Science VI, pages 123–139. North-Holland, 1982.
[Poh86] Wolfram Pohlers. Beweistheorie. In Jahrbuch U¨berblicke Mathematik 1986, pages 37–62. Bibliographisches Institut, 1986.
[Poh89] Wolfram Pohlers. Proof Theory, volume 1407 of Lecture Notes in Mathematics. Springer, 1989.
[Poh91] Wolfram Pohlers. Proof theory and ordinal analysis. Archive for Mathematical Logic, 30:311–376, 1991.
