Page 180 - Textos de Matemática Vol. 40
P. 180
168 Bibliography
[Rat99b] Michael Rathjen. The realm of ordinal analysis. In S. Cooper and J. Truss, editors, Sets and Proofs, pages 219–279. Cambridge Uni- versity Press, 1999.
[Rat00] Michael Rathjen. The strength of Martin-L¨of type theory with a super-universe. Part I. Archive for Mathematical Logic, 39(1):1–39, 2000.
[Rat01] Michael Rathjen. The strength of Martin-L¨of type theory with a superuniverse. Part II. Archive for Mathematical Logic, 40(3):207– 233, 2001.
[Rat02] Michael Rathjen. Explicit mathematics with monotone inductive definitions: a survey. In W. Sieg, R. Sommer, and C. Talcott, editors, Reflections on the foundations of mathematics: Essays in Honour of Solomon Feferman, volume 15 of Lecture Notes in Logic, pages 329– 346. ASL and AK Peters, 2002.
[Rat06] Michael Rathjen. The art of ordinal analysis. In Marta Sanz-Sol´e et al., editors, Proceedings of the international congress of math- ematicians (ICM), Madrid, Spain, August 22–30, 2006, volume II: Invited lectures, pages 45–69. European Mathematical Society, 2006.
[Rea89] Chris Reade. Elements of Functional Programming. Addison-Wesley, 1989.
[Rei70] Constance Reid. Hilbert. Springer, 1970.
[Ren84] Gerard Renardel de Lavalette. Theories with type-free application and extended bar induction. PhD thesis, Questiones infinitae, vol. 10, Universiteit Amsterdam, 1984.
[Ros84] J. Barkley Rosser. Highlights of the history of the lambda-calculus. Annals of the History of Computing, 6(4):337–349, 1984.
[RT81] Bernhard Rang and W. Thomas. Zermelo’s discovery of the ‘Russell paradox’. Historia Mathematica, 8:15–22, 1981.
[Ru¨e00] Christian Ru¨ede. Metapredicative Subsystems of Analysis. PhD the- sis, Universit¨at Bern, Institut fu¨r Informatik und angewandte Ma- thematik, 2000.
[Ru¨e02] Christian Ru¨ede. Transfinite dependent choice and omega-model reflection. Journal of Symbolic Logic, 67(3):1153–1168, 2002.
[Ru¨e03a] Christian Ru¨ede. The proof-theoretic analysis of Σ1 transfinite de- pendent choice. Annals of Pure and Applied Logic, 122:195–234, 2003.
