Annals of Pure and Applied Logic, Volume 43

Volume 43, Number 1, 12 June 1989

• Erich Grädel: Dominoes and the Complexity of Subclasses of Logical Theories. 1-30 BibTeX
• Richard Kennaway: Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. 31-56 BibTeX
• Angus Macintyre, David Marker: Primes and Their Residue Rings in Models of Open Induction. 57-77 BibTeX
• John R. Myhill, Bob Flagg: A Type-Free System Extending (ZFC). 79-97 BibTeX

Volume 43, Number 2, 4 July 1989

• Harold Hodes: Three-Valued Logics: An Introduction, a Comparison of Various Logical Lexica, and Some Philosophical Remarks. 99-145 BibTeX
• Anand Pillay: Stable Theories, Pseudoplanes and the Number of Countable Models. 147-160 BibTeX
• Samy Zafrany: Borel Ideals vs. Borel Sets of Countable Relations and Trees. 161-195 BibTeX

Volume 43, Number 3, 1 August 1989

• Yuri Leonidovich Ershov: RRC-Fields with Small Absolute Galois Groups. 197-208 BibTeX
• Moto Gitik: The Negation of the Singular Cardinal Hypothesis from o(k) = k⁺⁺. 209-234 BibTeX
• Lauri Hella: Definability Hierarchies of Generalized Quantifiers. 235-271 BibTeX
• Michal Krynicki, Jouko A. Väänänen: Henkin and Function Quantifiers. 273-292 BibTeX
• Philip S. Mulry: A Categorical Approach to the Theory of Computation. 293-305 BibTeX