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 BibTeX
• Andrew Arana: Solovay's theorem cannot be simplified. 27-41 BibTeX
• Ehud Hrushovski: The Manin-Mumford conjecture and the model theory of difference fields. 43-115 BibTeX

Volume 112, Number 2-3, 5 December 2001

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