Page 174 - Textos de Matemática Vol. 40

162 Bibliography
[J¨ag88] Gerhard J¨ager. Induction in the elementary theory of types and names. In E. B¨orger et al., editors, Computer Science Logic CSL ’87, volume 329 of Lecture Notes in Computer Sciences, pages 118– 128. Springer, 1988.
[J¨ag93] Gerhard J¨ager. Fixed points in Peano arithmetic with ordinals. An- nals of Pure and Applied Logic, 60:119 – 132, 1993.
[J¨ag97] Gerhard J¨ager. Applikative Theorien und Explizite Mathematik. Technical Report IAM-97-001, IAM, Universit¨at Bern, 1997. Vor- lesungsskript Sommersemester 1996, ausgearbeitet von Marc Wirz.
[J¨ag05] Gerhard J¨ager. Metapredicative and explicit Mahlo: a proof- theoretic perspective. In R. Cori, A. Razborov, S. Todorˇcevi´c, and C. Wood, editors, Logic Colloquium 2000, volume 19 of Lecture Note in Logic, pages 272–293. ASL and AK Peters, 2005.
[Jan97] David Jansen. Ontologische Aspekte expliziter Mathematik. Diplom- arbeit, Institut fu¨r Informatik und angewandte Mathematik, Univer- sit¨at Bern, 1997.
[JKS99] Gerhard J¨ager, Reinhard Kahle, and Thomas Strahm. On applicative theories. In A. Cantini, E. Casari, and P. Minari, editors, Logic and Foundation of Mathematics, pages 88–92. Kluwer, 1999.
[JKS01] Gerhard J¨ager, Reinhard Kahle, and Thomas Studer. Universes in explicit mathematics. Annals of Pure and Applied Logic, 109(3):141– 162, 2001.
[JKSS99] Gerhard J¨ager, Reinhard Kahle, Anton Setzer, and Thomas Strahm. The proof-theoretic analysis of transfinitely iterated fixed point the- ories. Journal of Symbolic Logic, 64(1):53–67, March 1999.
[Jon97] Neil Jones. Computability and Complexity. MIT Press, 1997.
[JP82] Gerhard J¨ager and Wolfram Pohlers. Eine beweistheoreti- sche Untersuchung von (∆12-CA) + (BI) und verwandter Systeme. Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, pages 1–28, 1982.
[JS95a] Gerhard J¨ager and Thomas Strahm. Second order theories with ordinals and elementary comprehension. Archive for Mathematical Logic, 34(6):345–375, 1995.
[JS95b] Gerhard J¨ager and Thomas Strahm. Totality in applicative theories. Annals of Pure and Applied Logic, 74:105–120, 1995.