The Bulletin of Symbolic Logic

Volume 15, Issue 02, June 2009


Articles
  • When are two algorithms the same?, by Andreas Blass, Nachum Dershowitz, and Yuri Gurevich, pages 145 — 168.
  • Borel reducibility and classification of von Neumann algebras, by Román Sasyk and Asger Törnquist, pages 169 — 183.
  • Automatic continuity of group homomorphisms, by Christian Rosendal, pages 184 — 214.

  • Reviews, pages 215 — 228.
  • In this issue:

  • R. Gibson, Quintessence: Basic readings from the philosophy of W. V. Quine, reviewed by Alex Orenstein, page 215.
  • R. Kaye, The mathematics of logic, reviewed by Rafal Urbaniak, page 216.
  • P. Smith, An introduction to Gödel's theorems, reviewed by Arnon Avron, page 218.
  • James H. Schmerl's eight papers on models of PA, reviewed by Roman Kossak, page 222.
  • W. Kubi's et al., Four papers on inverse systems and Valdivia compacta, reviewed by Mirna Džamonja and Grzegorz Plebanek, page 227.

  • Meetings of the Association
  • 2008 Winter Meeting of the Association for Symbolic Logic, The Marriott Hotel, Philadelphia, Pennsylvania, December 27—30, 2008, pages 229 — 236.
  • 2008—2009 Winter Meeting of The Association for Symbolic Logic, Marriott Wardman Park Hotel, Washington, DC, January 7—8, 2009, pages 237 — 245.

  • Meetings sponsored by the Association
  • 10th Asian Logic Conference, Kobe, Japan, September 1—6, 2008, pages 246 — 265.

  • Notices, pages 266 — 270.

  • 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.