The Bulletin of Symbolic Logic, Volume 6

Volume 6, Number 1, March 2000

• Hourya Sinaceur:
  Address at the Princeton University bicentennial conference on problems of mathematics (December 17--19, 1946), by Alfred Tarski. 1-44
  Electronic Edition (link) BibTeX
• Miriam Franchella:
  Towards a re-evaluation of Julius Köonig's contribution to logic. 45-66
  Electronic Edition (link) BibTeX

• Jean-Marie Le Bars:
  Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview. 67-82
  Electronic Edition (link) BibTeX

Volume 6, Number 2, June 2000

• Dirk van Dalen, Heinz-Dieter Ebbinghaus:
  Zermelo and the Skolem paradox. 145-161
  Electronic Edition (link) BibTeX
• Sven Ove Hansson:
  Formalization in philosophy. 162-175
  Electronic Edition (link) BibTeX

• Ralf-Dieter Schindler:
  Proper forcing and remarkable cardinals. 176-184
  Electronic Edition (link) BibTeX
• Peter Cholak, Leo Harrington:
  Definable encodings in the computably enumerable sets. 185-196
  Electronic Edition (link) BibTeX
• Denis R. Hirschfeldt:
  Degree spectra of relations on computable structures. 197-212
  Electronic Edition (link) BibTeX

Volume 3, Number 3, September 2000

• David Deutsch, Artur Ekert, Rossella Lupacchini:
  Machines, logic and quantum physics. 265-283
  Electronic Edition (link) BibTeX
• Dirk van Dalen:
  Brouwer and Fraenkel on intuitionism. 284-310
  Electronic Edition (link) BibTeX

• Jan Krajícek, Thomas Scanlon:
  Combinatorics with definable sets: Euler characteristics and Grothendieck rings. 311-330
  Electronic Edition (link) BibTeX
• Renling Jin:
  Applications of nonstandard analysis in additive number theory. 331-341
  Electronic Edition (link) BibTeX

Volume 6, Number 4, December 2000

• Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel:
  Does mathematics need new axioms? 401-446
  Electronic Edition (link) BibTeX

• Martin Otto:
  An interpolation theorem. 447-462
  Electronic Edition (link) BibTeX