Annals of Pure and Applied Logic, Volume 49

Volume 49, Number 1, 25 September 1990

• R. Gurevic: Equational Theory of Positive Numbers with Exponentiation is Not Finitely Axiomatizable. 1-30 BibTeX
• Angus Macintyre: Rationality of p-adic Poincaré Series: Uniformity in p. 31-74 BibTeX
• Phil Watson: On Restricted Forms of Enumeration Reducibility. 75-96 BibTeX

Volume 49, Number 2, 12 October 1990

• Rodney G. Downey: Lattice Nonembeddings and Initial Segments of the Recursively Enumerable Degrees. 97-119 BibTeX
• Martin Goldstern, Saharon Shelah: Ramsey Ultrafilters and the Reaping Number - Con(r<u). 121-142 BibTeX
• Thomas G. McLaughlin: Sub-Arithmetical Ultrapowers: A Survey. 143-191 BibTeX

Volume 49, Number 3, 22 October 1990

• Bruno Courcelle: The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. 193-255 BibTeX
• Qi Feng: A Hierarchy of Ramsey Cardinals. 257-277 BibTeX
• Donald A. Martin: An Extension of Borel Determinacy. 279-293 BibTeX