The Bulletin of Symbolic Logic

Volume 17, 2011

Articles
  • Combinatorial dichotomies in set theory, by Stevo Todorcevic, pages 1 — 72.
  • Effective choice and boundedness principles in computable analysis, by Vasco Brattka and Guido Gherardi, pages 73 — 117.
  • Foundations of nominal techniques: logic and semantics of variables in abstract syntax, by Murdoch J. Gabbay, pages 161 — 229.
  • Defining integers, by Alexandra Shlapentokh, pages 230 — 251.
  • V = L and intuitive plausibility in set theory. A case study, by Tatiana Arrigoni, pages 337 — 360.
  • On arbitrary sets and ZFC, by José Ferreirós, pages 361 — 393.
  • Alan Turing and the foundations of computable analysis, by Guido Gherardi, pages 394 — 430.
  • Open questions in reverse mathematics, by Antonio Montalbán, pages 431 — 454.
  • Early history of the Generalized Continuum Hypothesis: 1878—1938, by Gregory H. Moore, pages 489 — 532.
    •

    Communications
  • A descriptive view of combinatorial group theory, by Simon Thomas, pages 252 — 264.
  • A new proof of Friedman's conjecture, by Liang Yu, pages 455 — 461.
    •
  • Reviews, pages 118 — 126.
  • S. Todorcevic, Walks on ordinals and their characteristics, reviewed by Justin Tatch Moore, page 118.
  • C. Franks, The autonomy of mathematical knowledge: Hilbert's program revisited, reviewed by Juliette Kennedy, page 119.
  • J. Sakarovitch, Elements of automata theory, reviewed by Jean-Éric Pin, page 122.
  • S. Feferman, C. Parsons, and S. G. Simpson (editors), Kurt Gödel. Essays for his centennial, reviewed by Matthias Wille, page 124.
    •
  • Reviews, pages 265 — 271.
  • S. Gao, Invariant descriptive set theory, reviewed by Samuel Coskey, page 265.
  • M. Leng, Mathematics and reality, reviewed by Juha Saatsi, page 267.
  • S. Todorcevic, Introduction to Ramsey spaces, reviewed by Claude Laflamme, page 269.
  • M. Mugnai, Logic and mathematics in the seventeenth century, reviewed by Matthias Wille, page 270.
    •
  • Reviews, pages 462 — 470.
  • S. Cook and P. Nguyen, Logical foundations of proof complexity, reviewed by Albert Atserias, page 462.
  • M. Lerman, A framework for priority arguments, reviewed by George Barmpalias, page 464.
  • I. Farah, All automorphisms of the Calkin algebra are inner, reviewed by Ernest Schimmerling, page 467.
    •
  • Reviews, pages 533 — 538.
  • W. D. Hart, The evolution of logic, reviewed by Kenny Easwaran, page 533.
  • W. J. Mitchell, I[ω₂] can be the nonstationary ideal on Cof(ω₁), reviewed by Martin Zeman, page 535.
  • L. Patton, Anti-psychologism about necessity: Friedrich Albert Lange on objective inference, reviewed by Matthias Wille, page 537.
    •

    • Obituaries
  • In Memoriam: Gregory Hjorth, 1963—2011, by Alexander S. Kechris, pages 471 — 477.
    •

    Meetings of the Association
  • 2010 North American Annual Meeting of the Association for Symbolic Logic , George Washington University, Washington, D.C., March 17—20, 2010, pages 127 — 154.
  • 2010 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '10, Paris, France, July 25—31, 2010, pages 272 — 329.
    •

    Meetings sponsored by the Association
  • 6th Conference on Computability in Europe “Programs, proofs, processes", University of Azores, Ponta Delgada, Azores, Portugal, June 30—July 4, 2010, pages 478 — 479.
  • 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasília, Brazil, July 6—9, 2010, pages 480 — 481.
    •
  • Notices, pages 155 — 160.
  • Notices, pages 330 — 335.
  • Notices, pages 482 — 487.
  • Notices, pages 599 — 603.
    •
  • Officers and Committees of the Association for Symbolic Logic, pages 539 — 544.
  • Members of the Association, pages 545 — 598.
    •
    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.