Annals of Pure and Applied Logic, Volume 112

Volume 112, Number 1, 15 September 2001

• Burkhard Englert: A necessary and sufficient condition for embedding principally decomposable finite lattices into the computable enumerable degrees preserving greatest element. 1-26
• Andrew Arana: Solovay's theorem cannot be simplified. 27-41
• Ehud Hrushovski: The Manin-Mumford conjecture and the model theory of difference fields. 43-115

Volume 112, Number 2-3, 5 December 2001

• Jorge I. Guier: Boolean products of real closed valuation rings and fields. 119-150
• Klaus Ambos-Spies, Peter A. Fejer: Embedding of N₅ and the contiguous degrees. 151-188
• Vincent Astier: Some model-theoretic results in the algebrais theory of quadratic forms. 189-223
• Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, I. 225-266
• Robin Hirsch, Ian M. Hodkinson: Relation algebras form cylindric algebras, II. 267-297