Annals of Pure and Applied Logic, Volume 53

Volume 53, Number 1, 8 July 1991

• Bill Allen: Arithmetizing Uniform NC. 1-50
• Serban A. Basarab: Relative Elimination of Quantifiers for Henselian Valued Fields. 51-74
• Samuel R. Buss: The Undecidability of k-Provability. 75-102

Volume 53, Number 2, 19 July 1991

• M. Randall Holmes: Systems of Combinatory Logic Related to Quine's `New Foundations'. 103-133
• Robert C. Reed: A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models. 135-168
• Detlef Seese: The Structure of Models of Decidable Monadic Theories of Graphs. 169-195

Volume 53, Number 3, 19 September 1991

• Jean H. Gallier: What's So Special About Kruskal's Theorem and the Ordinal Gamma₀? A Survey of Some Results in Proof Theory. 199-260
• Winfried Just: A More Direct Proof of a Result of Shelah. 261-267
• Vladimir Razenj: On-Dimensional Groups over an o-Minimal Structure. 269-277
• Ali Nesin, Anand Pillay, Vladimir Razenj: Groups of Dimension Two and Three Over o-Minimal Structures. 279-296