Annals of Pure and Applied Logic, Volume 68

Volume 68, Number 1, 9 June 1994

• Kevin J. Davey: Inseparability in Recursive Copies. 1-52 BibTeX
• Jean-Louis Krivine: Classical Logic, Storage Operators and Second-Order lambda-Calculus. 53-78 BibTeX
• Christopher L. Miller: Expansions of the Real Field with Power Functions. 79-94 BibTeX
• Saharon Shelah: Cardinalities of Topologies with Small Base. 95-113 BibTeX

Volume 68, Number 2, 15 July 1994

• Lev D. Beklemishev: On Bimodal Logics of Provability. 115-159 BibTeX
• Rodney G. Downey, Yang Yue: A Rank one Cohesive Set. 161-171 BibTeX
• Gérard Leloup: Rings of Monoids Elementarily Equivalent to Polynomial Rings. 173-180 BibTeX
• Michael Rathjen: Proof Theory of Reflection. 181-224 BibTeX

Volume 68, Number 3, 12 August 1994

• Oleg V. Belegradek: The Model Theory of Unitriangular Groups. 225-261 BibTeX
• Masanao Ozawa: Forcing in Nonstandard Analysis. 263-297 BibTeX
• Alexandra Shalpentokh: Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q. 299-325 BibTeX
• Otmar Spinas: Dominating Projective Sets in the Baire Space. 327-342 BibTeX