Annals of Pure and Applied Logic, Volume 85

Volume 85, Number 1, 29 April 1997

• Thomas Glaß, Michael Rathjen, Andreas Schlüter: On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. 1-46 BibTeX
• Renling Jin, Saharon Shelah: Can a Small Forcing Create Kurepa Trees. 47-68 BibTeX
• Erik Palmgren: A Sheaf-Theoretic Foundation for Nonstandard Analysis. 69-86 BibTeX

Volume 85, Number 2, 6 May 1997

• Giorgi Japaridze: A Constructive Game Semantics for the Language of Linear Logic. 87-156 BibTeX
• M. C. Stanley: A Non-Generic Real Incompatible with 0^#. 157-192 BibTeX

Volume 85, Number 3, 23 May 1997

• Lev D. Beklemishev: Induction Rules, Reflection Principles, and Provably Recursive Functions. 193-242 BibTeX
• Martin Otto: Canonization for Two Variables and Puzzles on the Square. 243-282 BibTeX