The Bulletin of Symbolic Logic

Volume 15, 2009

Articles
  • A survey of propositional realizability logic, by Valery Plisko, pages 1 — 42.
  • Bernays and set theory, by Akihiro Kanamori, pages 43 — 69.
  • 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.
  • Enumerating types of Boolean functions, by Alasdair Urquhart, pages 273 — 299.
    •

    Communications
  • Actions of groups of finite Morley rank on small abelian groups, by Adrien Deloro, pages 70 — 90.
  • Isomorphism types of maximal cofinitary groups, by Bart Kastermans, pages 300 — 319.
  • Mass problems and measure-theoretic regularity, by Stephen G. Simpson, pages 385 — 409.
  • Games for truth, by P. D. Welch, pages 410 — 427.
    •
  • Reviews, pages 91 — 94.
  • M. Wille, Die Mathematik und das synthetische Apriori, reviewed by Mark van Atten, page 91.
    •
  • Reviews, pages 215 — 228.
  • 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.
    •
  • Reviews, pages 320 — 325.
  • Ralf Krömer, Tool and object, reviewed by Jean-Pierre Marquis, page 320.
  • On Moore's mapping reflection principle, reviewed by Matteo Viale, page 322.
    •
  • Reviews, pages 428 — 438.
  • M. Friedman and R. Creath (editors), The Cambridge companion to Carnap, reviewed by James Justus, page 428.
  • T. Gowers (editor), The Princeton Companion to Mathematics, reviewed by Juliette Kennedy, page 431.
  • U. Blau, Die Logik der Unbestimmtheiten und Paradoxien, reviewed by Ralf Schindler, page 436.
    •

    • Obituaries
  • Leon Albert Henkin (1921—2006), by J. Donald Monk, pages 326 — 331.
  • In memoriam: Paul J. Cohen, 1934—2007, by Anil Nerode, pages 439 — 440.
    •

    Meetings of the Association
  • 2008 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '08, Bern, Switzerland, July 3—July 8, 2008, pages 95 — 139.
  • 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.
  • 2009 North American Annual Meeting of the Association for Symbolic Logic, University of Notre Dame, Notre Dame, Indiana, May 20—May 23, 2009, pages 441 — 464.
    •

    Meetings sponsored by the Association
  • 10th Asian Logic Conference, Kobe, Japan, September 1—6, 2008, pages 246 — 265.
  • XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, May 11—17, 2008, pages 332 — 376.
  • 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16—18, 2008, pages 377 — 378.
    •
  • Notices, pages 140 — 144.
  • Notices, pages 266 — 270.
  • Notices, pages 379 — 383.
  • Notices, pages 528 — 532.
    •

    Member, officers and committees of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 465 — 470.
  • Members of the Association, pages 471 — 527.
    •
    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.