Journal: Annals of Pure and Applied Logic

Volume 70, Issue 3

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

Volume 70, Issue 2

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

Volume 70, Issue 1

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