Annals of Pure and Applied Logic, Volume 68

Volume 68, Number 1, 9 June 1994

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

Volume 68, Number 2, 15 July 1994

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

Volume 68, Number 3, 12 August 1994

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