Annals of Pure and Applied Logic, Volume 64

Volume 64, Number 1, 6 October 1993

• Konstantin N. Ignatiev: The Provability Logic for sigma₁-Interpolability. 1-25 BibTeX
• Ulrich Kohlenbach: Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. 27-94 BibTeX

Volume 64, Number 2, 14 October 1993

• Zygmunt Ratajczyk: Subsystems of True Arithmetic and Hierarchies of Functions. 95-152 BibTeX
• Chaz Schlindwein: Suslin's Hypothesis Does Not Imply Stationary Antichains. 153-167 BibTeX
• Saharon Shelah, Claude Laflamme, Bradd Hart: Models with Second Order Properties V: A General Principle. 169-194 BibTeX

Volume 64, Number 3, 11 November 1993

• Klaus Ambos-Spies, Alistair H. Lachlan, Robert I. Soare: The Continuity of Cupping to 0'. 195-209 BibTeX
• William M. Farmer: A Simple Type Theory with Partial Functions and Subtypes. 211-240 BibTeX
• Markus Huberich: Large Ideals on Small Cardinals. 241-271 BibTeX
• Martin Hyland, Valeria de Paiva: Full Intuitionistic Linear Logic (extended abstract). 273-291 BibTeX