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
  

Last update Mon May 20 16:23:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page