Annals of Pure and Applied Logic, Volume 70

Volume 70, Number 1, 18 November 1994

• Sy D. Friedman: A Simpler proof of Jensen's Coding Theorem. 1-16 BibTeX
• W. G. Handley, S. S. Wainer: Equational Derivation vs. Computation. 17-49 BibTeX
• André Joyal, Ieke Moerdijk: A Completeness Theorem for Open Maps. 51-86 BibTeX
• Jaap van Oosten: Axiomatizing Higher-Order Kleene Realizability. 87-111 BibTeX

Volume 70, Number 2, 5 December 1994

• Rodney G. Downey, William I. Gasarch, Michael Moses: The Structure of the Honest Polynomial m-Degrees. 113-139 BibTeX
• Ludomir Newelski: Meager Forking. 141-175 BibTeX
• Fons van Engelen: On Borel Ideals. 177-203 BibTeX

Volume 70, Number 3, 30 December 1994

• Christopher J. Ash, Julia F. Knight: Ramified Systems. 205-221 BibTeX
• James Cummings: Coherent Sequences versus Radin Sequences. 223-241 BibTeX
• Jeff B. Paris, Alena Vencovská, George M. Wilmers: A Natural Prior Probability Distribution Derived from the Propositional Calculus. 243-285 BibTeX