The Bulletin of Symbolic Logic

Volume 16, Issue 01, March 2010


Articles

Communications
  • Strong logics of first and second order, by Peter Koellner, pages 1 — 36.
  • The Axiom of Infinity and transformations j : V→V, by Paul Corazza, pages 37 — 84.

  • Reviews, pages 85 — 89.
  • In this issue:

  • A. Nies, Computability and randomness, reviewed by Anthony Morphett, page 85.
  • L. Kreiser, Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch, reviewed by Matthias Wille, page 87.

  • Meetings of the Association
  • 2009 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '09, Sofia, Bulgaria, July 31—August 5, 2009, pages 90 — 142.

  • Meetings sponsored by the Association
  • 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21—24, 2009, pages 143 — 144.

  • Notices, pages 145 — 150.
  • Corrigendum, pages 151 — 151.

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