Annals of Pure and Applied Logic, Volume 92

Volume 92, Number 1, 11 March 1998

• Jeremy Avigad: Predicative Functionals and an Interpretation of ID_<omega. 1-34 BibTeX
• Bruno Courcelle, Igor Walukiewicz: Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. 35-62 BibTeX
• Greg Hjorth, Alexander S. Kechris, Alain Louveau: Borel Equivalence Relations Induced by Actions of the Symmetric Group. 63-112 BibTeX

Volume 92, Number 2, 14 May 1998

• Anton Setzer: Well-Ordering, Proofs for Martin-Löf Type Theory. 113-159 BibTeX
• Daniel W. Cunningham: Is There a Set of Reals Not in K(R)? 161-210 BibTeX
• Marco Forti, Furio Honsell: Addendum and Corrigendum: Choice Principles in Hyperuniverses. 211-214 BibTeX
• Johann A. Makowsky, Y. B. Pnueli: Erratum to ``Arity and Alternation in Second-Order Logic. 215 BibTeX

Volume 92, Number 3, 21 August 1998

• Tim Fernando: In Conjunction with Qualitative Probability. 217-234 BibTeX
• I. P. van den Berg: On the Relation between Elementary Partial Difference Equations and Partial Differential Equations. 235-265 BibTeX
• Menachem Kojman: Exact Upper Bounds and Their Uses in Set Theory. 267-282 BibTeX
• Boban Velickovic, W. Hugh Woodin: Complexity of Reals in Inner Models of Set Theory. 283-295 BibTeX