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
• Richard Kennaway: Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. 31-56
• Angus Macintyre, David Marker: Primes and Their Residue Rings in Models of Open Induction. 57-77
• John R. Myhill, Bob Flagg: A Type-Free System Extending (ZFC). 79-97

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
• Anand Pillay: Stable Theories, Pseudoplanes and the Number of Countable Models. 147-160
• Samy Zafrany: Borel Ideals vs. Borel Sets of Countable Relations and Trees. 161-195

Volume 43, Number 3, 1 August 1989

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