Annals of Pure and Applied Logic, Volume 82

Volume 82, Number 1, November 1996

• Marco Cesati, Michael R. Fellows: Sparse Parameterized Problems. 1-15 BibTeX
• Xiaoding Yi: A Non-Splitting Theorem for d.r.e. Sets. 17-96 BibTeX
• Saharon Shelah: In the Random Graph G(n, p), p = n^-a: If psi Has Probability O(n^-epsilon) for Every epsilon>0 Then it Has Probability O(e^-nepsilon) for Some epsilon>0. 97-102 BibTeX

Volume 82, Number 2, 5 December 1996

• Martin Grohe: Arity Hierarchies. 103-163 BibTeX
• Jeremy Avigad: Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic. 165-191 BibTeX
• Thomas Glaß, Thomas Strahm: Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join. 193-219 BibTeX

Volume 82, Number 3, 15 December 1996

• Greg Hjorth, Alexander S. Kechris: Borel Equivalence Relations and Classifications of Countable Models. 221-272 BibTeX
• Moti Gitik, William J. Mitchell: Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis. 273-316 BibTeX
• S. Barry Cooper, Andrea Sorbi, Xiaoding Yi: Cupping and Noncupping in the Enumeration Degrees of Sigma₂⁰ Sets. 317-342 BibTeX