The Bulletin of Symbolic Logic

Volume 19, Issue 01, March 2013

Articles
  • Descriptive inner model theory, by Grigor Sargsyan, pages 1 — 55.
  • Non-standard lattices and o-minimal groups, by Pantelis E. Eleftheriou, pages 56 — 76.
  • The hyperuniverse program, by Tatiana Arrigoni and Sy-David Friedman, pages 77 — 96.
  • The Horn theory of Boole's partial algebras, by Stanley N. Burris and H. P. Sankappanavar, pages 97 — 105.
    •
  • Reviews, pages 106 — 118.

    In this issue:

  • B. Linsky, The Evolution of Principia Mathematica: Bertrand Russell's manuscripts and notes for the second edition, reviewed by Christopher Pincock, page 106.
  • D. Sangiorgi Introduction to bisimulation and coinduction and D. Sangiorgi and J. Rutten Advanced topics in bisimulation and coinduction, reviewed by Julian Gutierrez, page 108.
  • A. Máté, M. Rédei and F. Stadler (editors), The Vienna Circle in Hungary, reviewed by Máté Szabó, page 110.
  • J. Esparza, C. Michaux, and C. Steinhorn, Finite and algorithmic model theory, reviewed by Michael Benedikt, page 112.
  • Six papers on lowness and highness for randomness notions, reviewed by Johanna N. Y.\ Franklin, page 115.
    •

    • Obituaries
  • In Memoriam: Michael Dummett, 1925—2011, pages 119 — 122.
  • In Memoriam: Ruth Barcan Marcus, 1921—2012, pages 123 — 126.
    •

    Meetings of the Association
  • 2011 Winter Meeting of the Association for Symbolic Logic, Washington Marriott Wardman Park Hotel, Washington, DC, December 27—29, 2011, pages 127 — 134.
    •

    Meetings sponsored by the Association
  • Conference on Computability, Complexity and Randomness, Isaac Newton Institute, Cambridge, UK, July 2—6, 2012, pages 135 — 136.
    •
  • Notices, pages 137 — 143.
    •
    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.