The Bulletin of Symbolic Logic

Volume 18, 2012

Articles
  • The absolute arithmetic continuum and the unification of all numbers great and small, by Philip Ehrlich, pages 1 — 45.
  • In praise of replacement, by Akihiro Kanamori, pages 46 — 90.
  • Second order logic or set theory?, by Jouko Väänänen, pages 91 — 121.
  • A survey of Mučnik and Medvedev degrees, by Peter G. Hinman, pages 161 — 229.
  • On Tarski's foundations of the geometry of solids, by Arianna Betti and Iris Loeb, pages 230 — 260.
  • Gentzen's proof systems: byproducts in a work of genius, by Jan von Plato, pages 313 — 367.
  • Model theory of analytic functions: some historical comments, by Deirdre Haskell, pages 368 — 381.
  • Vaught's Theorem on Axiomatizability by a Scheme, by Albert Visser, pages 382 — 402.
  • The philosophy of logic, by Penelope Maddy, pages 481 — 504.
  • Fifty years of the spectrum problem: survey and new results, by Arnaud Durand, Neil D. Jones, Johann A. Makowsky, and Malika More, pages 505 — 553.
  • The graph-theoretic approach to descriptive set theory, by Benjamin D. Miller, pages 554 — 575.
    •

    Communications
  • The stable core, by Sy-David Friedman, pages 261 — 267.
    •
  • Reviews, pages 122 — 134.
  • A. S. Kechris, B. Löwe, and J. R. Steel (editors), Games, scales, and Suslin cardinals. The Cabal Seminar, Volume I, reviewed by Alessandro Andretta, page 122.
  • R. Downey and D. Hirschfeldt, Algorithmic randomness and complexity, reviewed by Laurent Bienvenu, page 126.
  • G. Sommaruga (editor), Foundational theories of classical and constructive mathematics, reviewed by Roy T. Cook, page 128.
  • Several papers concerning computable categoricity, reviewed by Daniel Turetsky, page 131.
    •
  • Reviews, pages 268 — 274.
  • L. Haaparanta (editor), The development of modern logic, reviewed by Alasdair Urquhart, page 268.
  • A. G. Burgess and J. P. Burgess, Truth, reviewed by Volker Halbach, page 271.
  • A. L. Mann, G. Sandu, and M. Sevenster, Independence-friendly logic, reviewed by Julian Bradfield, page 272.
  • I. Welty, Frege on indirect proof, reviewed by Matthias Wille, page 273.
    •
  • Reviews, pages 403 — 412.
  • L. Horsten, The Tarskian Turn: deflationism and axiomatic truth, reviewed by Martin Fischer, page 403.
  • E. Casanovas, Simple theories and hyperimaginaries, reviewed by Bradd Hart, page 405.
  • J. Väänänen, Models and games, reviewed by Ian Hodkinson, page 406.
  • A. Urquhart, Henry M. Sheffer and notational relativity, reviewed by Matthias Wille, page 408.
  • Various papers on $Π01$ classes, reviewed by Douglas Cenzer, page 409.
    •
  • Reviews, pages 576 — 580.
  • J.\ Krajíček, Forcing with random variables and proof complexity, reviewed by Sam Buss, page 576.
  • Several papers on automatic randomness, reviewed by Mia Minnes, page 579.
    •

    • Obituaries
  • In Memoriam: Ernst Specker (1920—2011), pages 413 — 417.
    •

    Meetings of the Association
  • 2011 Spring Meeting of the Association for Symbolic Logic, Hilton San Diego Bayfront Hotel, San Diego, California, USA April 21—22, 2011, pages 135 — 141.
  • 2010—2011 Winter Meeting of The Association for Symbolic Logic, New Orleans Marriott and Sheraton New Orleans Hotels, New Orleans, LA, January 8—9, 2011, pages 142 — 149.
  • 2011 North American Annual Meeting of the Association for Symbolic Logic , University of California at Berkeley, Berkeley, CA, USA, March 24—27, 2011, pages 275 — 305.
  • 2011 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '11, Barcelona, Catalonia, Spain, July 11—16, 2011, pages 418 — 476.
    •

    Meetings sponsored by the Association
  • XVI Brazilian Logic Conference (EBL 2011), Petrópolis, Rio de Janeiro, Brazil, May 9—13, 2011, pages 150 — 151.
  • 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia, PA, USA, May 18—20, 2011, pages 152 — 153.
    •
  • Notices, pages 154 — 160.
  • Notices, pages 306 — 310.
  • Notices, pages 477 — 480.
  • Notices, pages 640 — 644.
    •

    Member, officers and committees of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 581 — 585.
  • Members of the Association, pages 586 — 639.
    •
  • Erratum, page 311.
    •
    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.