Annals of Pure and Applied Logic, Volume 71

Volume 71, Number 1, 15 January 1995

• Harvey Friedman, Michael Sheard: Elementary Descent Recursion and Proof Theory. 1-45 BibTeX
• Gaisi Takeuti: Separations of Theories in Weak Bounded Arithmetic. 47-67 BibTeX
• Daniel E. Talayco: Applications of Cohomology to Set Theory I: Hausdorff Gaps. 69-106 BibTeX

Volume 71, Number 2, 1 February 1995

• Ludomir Newelski: A Model and Its Subset: The Uncountable Case. 107-129 BibTeX
• Marek W. Zawadowski: Descent and Duality. 131-188 BibTeX

Volume 71, Number 3, 15 February 1995

• Silvio Ghilardi: An Algebraic Theory of Normal Forms. 189-245 BibTeX
• Lawrence S. Moss: Power Set Recursion. 247-306 BibTeX