The Bulletin of Symbolic Logic

Volume 19, 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.
  • The foundational problem of logic, by Gila Sher, pages 145 — 198.
  • Shift-complex sequences, by Mushfeq Khan, pages 199 — 215.
  • Interpretability in Robinson's Q, by Fernando Ferreira and Gilda Ferreira, pages 289 — 317.
  • Algorithmic randomness and measures of complexity, by George Barmpalias, pages 318 — 350.
  • On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture, by Juliette Kennedy, pages 351 — 393.
  • Logic in the 1930s: type theory and model theory, by Georg Schiemer and Erich H. Reck, pages 433 — 472.
  • Analytic equivalence relations and the forcing method, by Jindřich Zapletal, pages 473 — 490.
    •
  • Reviews, pages 106 — 118.
  • 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.
    •
  • Reviews, pages 216 — 222.
  • R. Cluckers, J. Nicaise and J. Sebag, editors, Motivic integration and its interactions with model theory and non-Archimedean geometry, volumes I and II, reviewed by Julia Gordon, page 216.
  • P. A. Blanchette, Frege's conception of logic, reviewed by G. Aldo Antonelli, page 219.
    •
  • Reviews, pages 394 — 401.
  • B. Courcelle and J. Engelfriet, Graph structure and monadic second-order logic, reviewed by Achim Blumensath, page 394.
  • M. Colyvan, An introduction to the philosophy of mathematics, reviewed by Richard Pettigrew, page 396.
  • L. A. Levin, Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov), reviewed by Jan Reimann, page 397.
  • Hrushovski constructions and randomizations in computable model theory, reviewed by Alexander G. Melnikov, page 399.
    •
  • Reviews, pages 491 — 496.
  • H.-D. Ebbinghaus and A. Kanamori, (editors), Ernest Zermelo: Collected Works, Vol. I, reviewed by Volker Peckhaus, page 491.
  • Various authors, Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, reviewed by Grigor Sargsyan, page 492.
    •

    • 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.
  • 2012—2013 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center, San Diego Marriott Marquis and Marina, San Diego, CA, January 11—12, 2013, pages 497 — 511.
  • 2011—2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6—7, 2012, pages 223 — 235.
  • 2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31—April 3, 2012, pages 236 — 256.
  • 2013 Winter Meeting of the Association for Symbolic Logic, The Hilton New Orleans Riverside Hotel, New Orleans, Louisiana, February 20—21, 2013, pages 512 — 518.
    •

    Meetings sponsored by the Association
  • Conference on Computability, Complexity and Randomness, Isaac Newton Institute, Cambridge, UK, July 2—6, 2012, pages 135 — 136.
  • Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, December 15—20, 2011, with Student Day on December 14, 2011, pages 257 — 283.
  • XV Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, Colombia, June 4—8, 2012, pages 402 — 424.
  • 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012), Buenos Aires, Argentina, September 3—6, 2012, pages 425 — 426.
  • 24th European Summer School on Logic, Language and Information (ESSLLI 2012), Opole University, Opole, Poland, August 6—17, 2012, pages 519 — 522.
    •

    Notices

  • Notices, pages 137 — 143.
  • Notices, pages 284 — 288.
  • Notices, pages 427 — 432.
  • Notices, pages 584 — 588.
    •

    Member, officers and committees of the Association

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