The Bulletin of Symbolic Logic, Volume 7

Volume 7, Number 1, March 2001

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

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
  Electronic Edition (link) BibTeX
• Jan Krajícek:
  Tautologies from pseudo-random generators. 197-212
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Lorenz Halbeisen, Saharon Shelah:
  Relations between some cardinals in the absence of the Axiom of Choice. 237-261
  Electronic Edition (link) BibTeX

• Raf Cluckers, Deirdre Haskell:
  Grothendieck rings of Z-valued fields. 262-269
  Electronic Edition (link) BibTeX

Volume 7, Number 3, September 2001

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

Volume 7, Number 4, December 2001

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