Annals of Pure and Applied Logic, Volume 79

Volume 79, Number 1, 2 May 1996

• John T. Baldwin, Niandong Shi: Stable Generic Structures. 1-35 BibTeX
• Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. 37-52 BibTeX
• Steffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. 53-59 BibTeX
• Thomas Schwentick: On Winning Ehrenfeucht Games and Monadic NP. 61-92 BibTeX
• Alexandra Shlapentokh: Rational Separability over a Global Field. 93-108 BibTeX

Volume 79, Number 2, 3 June 1996

• Michael A. Jahn: Sigma₅-Completeness of Index Sets Arising from the Recursively Enumerable Turing Degrees. 109-137 BibTeX
• Steven D. Leonhardi: Nonbounding and Slaman Triples. 139-163 BibTeX
• Dugald Macpherson, Charles Steinhorn: On Variants of o-Minimality. 165-209 BibTeX
• Xiaokang Yu: A Study of Singular Points and Supports of Measures in Reverse Mathematics. 211-219 BibTeX

Volume 79, Number 3, 24 June 1996

• Erik Barendsen, Marc Bezem: Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. 221-280 BibTeX
• Gavin M. Bierman: A Note on Full Intuitionistic Linear Logic. 281-287 BibTeX
• Mirna Dzamonja, Saharon Shelah: Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle. 289-316 BibTeX