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 BibTeX
Anatoly Petrovich Beltiukov: Intuitionistic Formal Theories with Realizability in Subrecursive Classes. 3-15 BibTeX
Alexis Bès: On Pascal Triangles Modulo a Prime Power. 17-35 BibTeX
Richard Kaye: Infinitary Definitions of Equivalence Relations in Models of PA. 37-43 BibTeX
Ivan Korec: Theories of Generalized Pascal Triangles. 45-52 BibTeX
Françoise Maurin: Ehrenfeucht Games and Ordinal Addition. 53-73 BibTeX
Heike Mildenberger: Order Types of Free Subsets. 75-83 BibTeX
Frank O. Wagner: On the Structure of Stable Groups. 85-92 BibTeX
Sy D. Friedman, Boban Velickovic: Delta₁-Definability. 93-99 BibTeX

Arthur W. Apter: Patterns of Compact Cardinals. 101-115 BibTeX
Ian M. Hodkinson: Atom Structures of Cylindric Algebras and Relation Algebras. 117-148 BibTeX
Hajnal Andréka: Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability. 149-209 BibTeX
Hajnal Andréka: Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations. 211-229 BibTeX
Stephen A. Bloch: On Parallel Hierarchies and Rⁱ_k. 231-273 BibTeX
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 BibTeX