Page 175 - Textos de Matemática Vol. 40

Bibliography 163
[JS96] GerhardJ¨agerandThomasStrahm.Sometheorieswithposi- tive induction of ordinal strength φω0. Journal of Symbolic Logic, 61(3):818–842, 1996.
[JS01] Gerhard J¨ager and Thomas Strahm. Upper bounds for metapredica- tive Mahlo in explicit mathematics and admissible set theory. Journal of Symbolic Logic, 66(2):935–958, 2001.
[JS02a] Gerhard J¨ager and Thomas Strahm. The proof-theoretic strength of the Suslin operator in applicative theories. In W. Sieg, R. Sommer, and C. Talcott, editors, Reflections on the Foundations of Mathe- matics: Essays in honor of Solomon Feferman, volume 15 of Lecture Notes in Logic, pages 270–292. ASL and AK Peters, 2002.
[JS02b] Gerhard J¨ager and Thomas Studer. Extending the system T0 of explicit mathematics: the limit and Mahlo axioms. Annals of Pure and Applied Logic, 114(1–3):79–101, 2002.
[JS05] Gerhard J¨ager and Thomas Strahm. Reflections on reflections in explicit mathematics. Annals of Pure and Applied Logic, 136(1– 2):116–133, 2005.
[Kah92] Reinhard Kahle. Einbettung des Beweissystems Lambda in eine The- orie von Operationen und Zahlen. Diplomarbeit, Mathematisches Institut der Universit¨at Mu¨nchen, 1992.
[Kah97a] Reinhard Kahle. Applikative Theorien und Frege-Strukturen. PhD thesis, Institut fu¨r Informatik und angewandte Mathematik, Univer- sit¨at Bern, 1997.
[Kah97b] Reinhard Kahle. Uniform limit in explicit mathematics with uni- verses. Technical Report IAM-97-002, IAM, Universit¨at Bern, M¨arz 1997.
[Kah99] Reinhard Kahle. Frege structures for partial applicative theories. Journal of Logic and Computation, 9(5):683–700, October 1999.
[Kah00] Reinhard Kahle. N-strictness in applicative theories. Archive for Mathematical Logic, 39(2):125–144, 2000.
[Kah01] Reinhard Kahle. Truth in applicative theories. Studia Logica, 68(1):103–128, 2001.
[Kah02] Reinhard Kahle. Mathematical proof theory in the light of ordinal analysis. Synthese, 133(1–2):237–255, 2002.
[Kah03] Reinhard Kahle. Universes over Frege structures. Annals of Pure and Applied Logic, 119(1–3):191–223, 2003.