Annals of Pure and Applied Logic, Volume 68

Volume 68, Number 1, 9 June 1994

• Kevin J. Davey:
  Inseparability in Recursive Copies. 1-52
  
• Jean-Louis Krivine:
  Classical Logic, Storage Operators and Second-Order lambda-Calculus. 53-78
  
• Christopher L. Miller:
  Expansions of the Real Field with Power Functions. 79-94
  
• Saharon Shelah:
  Cardinalities of Topologies with Small Base. 95-113
  

Volume 68, Number 2, 15 July 1994

• Lev D. Beklemishev:
  On Bimodal Logics of Provability. 115-159
  
• Rodney G. Downey, Yang Yue:
  A Rank one Cohesive Set. 161-171
  
• Gérard Leloup:
  Rings of Monoids Elementarily Equivalent to Polynomial Rings. 173-180
  
• Michael Rathjen:
  Proof Theory of Reflection. 181-224
  

Volume 68, Number 3, 12 August 1994

• Oleg V. Belegradek:
  The Model Theory of Unitriangular Groups. 225-261
  
• Masanao Ozawa:
  Forcing in Nonstandard Analysis. 263-297
  
• Alexandra Shalpentokh:
  Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q. 299-325
  
• Otmar Spinas:
  Dominating Projective Sets in the Baire Space. 327-342
  

Last update Sun May 19 23:49:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page