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
• Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. 37-52
• Steffen Lempp, Yuefei Sui: An Extended Lachlan Splitting Theorem. 53-59
• Thomas Schwentick: On Winning Ehrenfeucht Games and Monadic NP. 61-92
• Alexandra Shlapentokh: Rational Separability over a Global Field. 93-108

Volume 79, Number 2, 3 June 1996

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

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
• Gavin M. Bierman: A Note on Full Intuitionistic Linear Logic. 281-287
• Mirna Dzamonja, Saharon Shelah: Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle. 289-316