Annals of Pure and Applied Logic, Volume 89

Volume 89, Number 1, 15 December 1997

• Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie: Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. 1
• Anatoly Petrovich Beltiukov: Intuitionistic Formal Theories with Realizability in Subrecursive Classes. 3-15
• Alexis Bès: On Pascal Triangles Modulo a Prime Power. 17-35
• Richard Kaye: Infinitary Definitions of Equivalence Relations in Models of PA. 37-43
• Ivan Korec: Theories of Generalized Pascal Triangles. 45-52
• Françoise Maurin: Ehrenfeucht Games and Ordinal Addition. 53-73
• Heike Mildenberger: Order Types of Free Subsets. 75-83
• Frank O. Wagner: On the Structure of Stable Groups. 85-92
• Sy D. Friedman, Boban Velickovic: Delta₁-Definability. 93-99

Volume 89, Numbers 2-3, 8 December 1997

• Arthur W. Apter: Patterns of Compact Cardinals. 101-115
• Ian M. Hodkinson: Atom Structures of Cylindric Algebras and Relation Algebras. 117-148
• Hajnal Andréka: Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability. 149-209
• Hajnal Andréka: Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations. 211-229
• Stephen A. Bloch: On Parallel Hierarchies and Rⁱ_k. 231-273
• Jean H. Gallier: Erratum to ``What's So Special About Kruskal's Theorem and the Ordinal Gamma₀? A Survey of Some Results in Proof Theory''. 275