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 updated on Thu May 23 03:56:18 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page