The Bulletin of Symbolic Logic

Volume 6, Issue 2, June 2000

  • Zermelo and the Skolem paradox, by Dirk van Dalen and Heinz-Dieter Ebbinghaus, pages 145 -- 161.
  • Formalization in philosophy, by Sven Ove Hansson, pages 162 -- 175.

  • Communications
  • Proper forcing and remarkable cardinals, by Ralf-Dieter Schindler, pages 176 -- 184.
  • Definable encodings in the computably enumerable sets, by Peter A. Cholak and Leo A. Harrington, pages 185 -- 196.
  • Degree spectra of relations on computable structures, by Denis R. Hirschfeldt, pages 197 -- 212.

  • Reviews, pages 213 -- 229.
  • In this issue:

  • Two papers by L. van den Dries, A. Macintyre, and D. Marker, reviewed by Chris Miller, page 213.
  • L. van den Dries, Tame topology and o-minimal structures, reviewed by Alessandro Berarducci, page 216.
  • G. Dales and H. Woodin, Super-real fields, reviewed by M. Dickmann, page 218.
  • A. Beckmann and W. Pohlers, Applications of cut-free infinitary derivations to generalized recursion theory, reviewed by Dag Normann, page 221.
  • A. Weiermann, Sometimes slow growing is fast growing, reviewed by Martin Ruckert, page 222.
  • F. Montagna, G. Simi, and A. Sorbi, Logic and probabilistic systems, reviewed by J. B. Paris, page 223.
  • B. Jacobs, Categorical logic and type theory, reviewed by R. A. G. Seely, page 225.

  • Meetings of the Association
  • 1999--2000 Winter Meeting of the Association for Symbolic Logic, Washington, DC, January 21--23, 2000, pages 232 -- 247.

  • Meetings sponsored by the Association
  • Australasian Association for Logic 1999 Annual Conference, Co-sponsored by the Association for Symbolic Logic, The University of Melbourne, July 2--4, 1999, pages 248 -- 255.

  • Notices, pages 256 -- 262.

  • The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.