Annals of Pure and Applied Logic, Volume 114

Volume 114, Number 1-3, 15 April 2002

• Jaap van Oosten, Harold Schellinx: Preface. 1-2
• Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. 3-25
• Justus Diller: Logical problems of functional interpretations. 27-42
• J. M. E. Hyland: Proof theory in the abstract. 43-78
• Gerhard Jäger, Thomas Studer: Extending the system T₀ of explicit mathematics: the limit and Mahlo axioms. 79-101
• Ulrich Kohlenbach: On uniform weak König's lemma. 103-116
• Daniel Leivant: Intrinsic reasoning about functional programs I: first order theories. 117-153
• Ieke Moerdijk, Erik Palmgren: Type theories, toposes and constructive set theory: predicative aspects of AST. 155-201
• Joan Rand Moschovakis: Analyzing realizability by Troelstra's methods. 203-225
• Albert Visser: Substitutions of Sigma₁⁰ - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. 227-271