The Bulletin of Symbolic Logic, Volume 7

Volume 7, Number 1, March 2001

• Sergei N. Artëmov:
  Explicit provability and constructive semantics. 1-36
  
• Thomas Scanlon:
  Diophantine geometry from model theory. 37-57
  

Volume 7, Number 2, June 2001

• Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore:
  The prospects for mathematical logic in the twenty-first century. 169-196
  
• Jan Krajícek:
  Tautologies from pseudo-random generators. 197-212
  
• Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
  On the unusual effectiveness of logic in computer science. 213-236
  
• Lorenz Halbeisen, Saharon Shelah:
  Relations between some cardinals in the absence of the Axiom of Choice. 237-261
  

• Raf Cluckers, Deirdre Haskell:
  Grothendieck rings of Z-valued fields. 262-269
  

Volume 7, Number 3, September 2001

• Ernest Schimmerling, Martin Zeman:
  Square in core models. 305-314
  
• Eric Jaligot:
  Full Frobenius groups of finite Morley rank and the Feit-Thompson Theorem. 315-328
  
• Simon Thomas:
  On the complexity of the classification problem for torsion-free abelian groups of finite rank. 329-344
  
• Philip D. Welch:
  On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. 345-360
  
• John D. Clemens, Su Gao, Alexander S. Kechris:
  Polish metric spaces: their classification and isometry groups. 361-375
  

Volume 7, Number 4, December 2001

• José Ferreirós:
  The road to modern logic - An interpretation. 441-484
  
• Ernest Schimmerling:
  The ABC's of mice. 485-503
  
• Jouko A. Väänänen:
  Second-order logic and foundations of mathematics. 504-520
  

Last update Tue Feb 14 04:14:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page