The Bulletin of Symbolic Logic

Volume 16, 2010


Articles
  • The senses of functions in the Logic of Sense and Denotation, by Kevin C. Klement, pages 153 — 188.
  • Kleene's amazing Second Recursion Theorem, by Yiannis N. Moschovakis, pages 189 — 239.
  • Almost disjoint families and diagonalizations of length continuum, by Dilip Raghavan, pages 240 — 260.
  • An invitation to model-theoretic Galois theory, by Alice Medvedev and Ramin Takloo-Bighash, pages 261 — 269.
  • Relative truth definability of axiomatic truth theories, by Kentaro Fujimoto, pages 305 — 344.
  • The complexity of classification problems for models of arithmetic, by Samuel Coskey and Roman Kossak, pages 345 — 358.
  • What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory, by Colin McLarty, pages 359 — 377.
  • Reverse mathematics: the playground of logic, by Richard A. Shore, pages 378 — 402.
  • Well (and better) quasi-ordered transition systems, by Parosh Aziz Abdulla, pages 457 — 515.
  • Von Neumann, Gödel and complexity theory, by Alasdair Urquhart, pages 516 — 530.

  • Communications
  • Strong logics of first and second order, by Peter Koellner, pages 1 — 36.
  • The Axiom of Infinity and transformations j : V→V, by Paul Corazza, pages 37 — 84.

  • Reviews, pages 85 — 89.
  • A. Nies, Computability and randomness, reviewed by Anthony Morphett, page 85.
  • L. Kreiser, Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch, reviewed by Matthias Wille, page 87.
  • Reviews, pages 270 — 287.
  • E. Menzler-Trott, Logic's lost genius: The life of Gerhard Gentzen, reviewed by W. W. Tait, page 270.
  • N. B. Cocchiarella and M. A. Freund, Modal logic. An introduction to its syntax and semantics, reviewed by Heinrich Wansing, page 275.
  • K. Bimbó and J. M. Dunn Relational semantics of nonclassical logical calculi, reviewed by Alasdair Urquhart, page 277.
  • J. Zapletal, Forcing idealized, reviewed by Mirna Džamonja, page 278.
  • J. Harrison, Handbook of practical logic and automated reasoning, reviewed by Alwen Tiu, page 279.
  • S. Givant and P. Halmos, Introduction to Boolean algebras, reviewed by Natasha Dobrinen, page 281.
  • R. Milner, The space and motion of communicating agents, reviewed by Thomas Hildebrandt, page 282.
  • Jc Beall, Spandrels of truth, reviewed by Zach Weber, page 284.
  • G. Gabriel, K. Huelser, and S. Schlotter, Zur Miete bei Frege—Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena, reviewed by Matthias Wille, page 286.
  • Reviews, pages 403 — 429.
  • Two publications of Greg Hjorth, reviewed by Howard Becker, page 403.
  • E. Grädel, Ph. Kolaitis, L. Libkin, M. Marx, J. Spencer, M. Vardi, Y. Venema, and S. Weinstein Finite model theory and its applications, reviewed by Stephan Kreutzer, page 406.
  • J. van Oosten, Realizability: an introduction to its categorical side, reviewed by Peter T. Johnstone, page 407.
  • C. Benzmüller, C. Brown, J. Siekmann, and R. Statman (eds.), Reasoning in simple type theory, reviewed by Florian Rabe, page 409.
  • J. Burgess, Philosophical logic, reviewed by Lloyd Humberstone, page 411.
  • M. Peterson, An introduction to decision theory, reviewed by Steven Robertson, page 413.
  • G. Metcalfe, N. Olivetti and D. Gabbay, Proof theory for fuzzy logics, reviewed by Bartosz Więckowski, page 415.
  • A. Doxiadis, C. Papadimitriou, A. Papadatos, and A. di Donna, Logicomix, reviewed by Paolo Mancosu, page 419.
  • The search for diamonds, reviewed by Assaf Rinot, page 420.
  • Five papers on axiomatic theories of truth, reviewed by Graham E. Leigh, page 424.
  • M. Schirn, On translating Frege's Die Grundlagen der Arithmetik, reviewed by Matthias Wille, page 428.
  • Reviews, pages 531 — 538.
  • D. Hyde, Vagueness, logic and ontology, reviewed by Nicholas J. J. Smith, page 531.
  • N. J. J. Smith, Vagueness and degrees of truth, reviewed by Dominic Hyde, page 533.
  • W. Kienzler Begriff und Gegenstand, reviewed by Matthias Wille, page 535.
  • A. Bobenrieth M., The origins of the use of the argument of trivialization in the twentieth century, reviewed by Matthias Wille, page 537.

  • Meetings of the Association
  • 2009 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '09, Sofia, Bulgaria, July 31—August 5, 2009, pages 90 — 142.
  • 2009—2010 Winter Meeting of The Association for Symbolic Logic, Moscone Center West, San Francisco, CA, January 15—16, 2010, pages 430 — 437.
  • 2010 Winter Meeting of the Association for Symbolic Logic, The Palmer House Hilton Hotel, Chicago, Illinois, February 18—20, 2010, pages 438 — 444.

  • Meetings sponsored by the Association
  • 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21—24, 2009, pages 143 — 144.
  • 11th Asian Logic Conference, National University of Singapore, Singapore, June 22—27, 2009, pages 288 — 298.
  • The 2009 Annual Conference of the Australasian Association for Logic, University of Melbourne, Australia, July 11—12, 2009, pages 445 — 449.

  • Notices, pages 145 — 150.
  • Notices, pages 299 — 304.
  • Notices, pages 450 — 455.
  • Notices, pages 600 — 604.

  • Member, officers and committees of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 539 — 544.
  • Members of the Association, pages 545 — 599.

  • Corrigendum, pages 151 — 151.
  • Erratum, pages 456 — 456.

  • 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.