The Bulletin of Symbolic Logic

Volume 13, Issue 02, June 2007

Articles
  • Gödel and set theory, by Akihiro Kanamori, pages 153 — 188.
  • In the shadows of the Löwenheim—Skolem theorem: Early combinatorial analyses of mathematical proofs, by Jan von Plato, pages 189 — 225.
    •

    Communications
  • Local definitions in degree structures: the Turing jump, hyperdegrees and beyond, by Richard A. Shore, pages 226 — 239.
    •
  • Reviews, pages 240 — 250.
    •

    In this issue:

  • M. Burgin, Super-recursive algorithms, reviewed by Martin Davis, page 240.
  • T. Franzén, Gödel’s theorem: an incomplete guide to its use and abuse, reviewed by Lev D. Beklemishev, page 241.
  • S. Galvan, Einführung in die Unvollständigkeitstheoreme, reviewed by Andrea Reichenberger, page 243.
  • A. Kock, Synthetic differential geometry, reviewed by John L. Bell, page 244.
  • M. Vorobej, A Theory of Argument, reviewed by Douglas Walton, page 245.
  • J. Flum and M. Grohe, Parameterized complexity theory, reviewed by Thomas Schwentick, page 246.
  • D. M. Gabbay and F. Guenthner, editors, Handbook of philosophical logic, vol. 10, reviewed by Theo M. V. Janssen, page 248.
    •

    Meetings of the Association
  • 2006 Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’06, Nijmegen, The Netherlands, July 27—August 2, 2006, pages 251 — 298.
    •
  • Notices, pages 299 — 304.
    •
    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.