The Bulletin of Symbolic Logic

Volume 13, Issue 01, March 2007

Articles
  • Set theory and C*-algebras, by Nik Weaver, pages 1 — 20.
  • Incompleteness in a general setting, by John L. Bell, pages 21 — 30.
  • Inner models and ultrafilters in L(ℝ), by Itay Neeman, pages 31 — 53.
    •

    Communications
  • Fragment of nonstandard analysis with a finitary consistency proof, by Michal Rössler and Emil Jeřábek, pages 54 — 70.
  • On the equimorphism types of linear orderings, by Antonio Montalbán, pages 71 — 99.
    •
  • Reviews, pages 100 — 114.
    •

    In this issue:

  • F. Widebäck, Identity of proofs, reviewed by Sergei Soloviev, page 100.
  • L. Corry, Modern algebra and the rise of mathematical structures, reviewed by Thomas Drucker, page 102.
  • P. C. Gilmore, Logicism renewed: logical foundations for mathematics and computer science, reviewed by James H. Andrews, page 104.
  • S. G. Simpson (editor), Reverse Mathematics 2001, reviewed by Ulrich Berger, page 106.
  • V. F. Hendricks, Mainstream and formal epistemology, reviewed by Paul Égré, page 110.
    •

    Obituaries
  • In memoriam: Saunders Mac Lane, 1909—2005, by Steve Awodey, pages 115 — 119.
    •

    Meetings of the Association
  • 2006 Annual Meeting of the Association for Symbolic Logic, Université du Québec à Montréal, Montréal, Québec, Canada, May 17—21, 2006, pages 120 — 145.
    •
  • Notices, pages 146 — 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.