The Bulletin of Symbolic Logic

Volume 13, 2007


Articles
  • Set theory and C*-algebras, by Nik Weaver, pages 1 — 20.
  • Incompleteness in a general setting, by John L. Bell, pages 21 — 30.
  • Inner models and ultrafilters in L(ℝ), by Itay Neeman, pages 31 — 53.
  • Gödel and set theory, by Akihiro Kanamori, pages 153 — 188.
  • In the shadows of the Löwenheim—Skolem theorem: Early combinatorial analyses of mathematical proofs, by Jan von Plato, pages 189 — 225.
  • Describing groups, by André Nies, pages 305 — 339.
  • Relating first-order set theories and elementary toposes, by Steve Awodey, Carsten Butz, Alex Simpson, and Thomas Streicher, pages 340 — 358.
  • The complexity of propositional proofs, by Nathan Segerlind, pages 417 — 481.
  • Descriptive set theory of families of small sets, by Étienne Matheron and Miroslav Zelený, pages 482 — 537.

  • Communications
  • Fragment of nonstandard analysis with a finitary consistency proof, by Michal Rössler and Emil Jeřábek, pages 54 — 70.
  • On the equimorphism types of linear orderings, by Antonio Montalbán, pages 71 — 99.
  • Local definitions in degree structures: the Turing jump, hyperdegrees and beyond, by Richard A. Shore, pages 226 — 239.

  • Reviews, pages 100 — 114.
  • F. Widebäck, Identity of proofs, reviewed by Sergei Soloviev, page 100.
  • L. Corry, Modern algebra and the rise of mathematical structures, reviewed by Thomas Drucker, page 102.
  • P. C. Gilmore, Logicism renewed: logical foundations for mathematics and computer science, reviewed by James H. Andrews, page 104.
  • S. G. Simpson (editor), Reverse Mathematics 2001, reviewed by Ulrich Berger, page 106.
  • V. F. Hendricks, Mainstream and formal epistemology, reviewed by Paul Égré, page 110.
  • Reviews, pages 240 — 250.
  • M. Burgin, Super-recursive algorithms, reviewed by Martin Davis, page 240.
  • T. Franzén, Gödel’s theorem: an incomplete guide to its use and abuse, reviewed by Lev D. Beklemishev, page 241.
  • S. Galvan, Einführung in die Unvollständigkeitstheoreme, reviewed by Andrea Reichenberger, page 243.
  • A. Kock, Synthetic differential geometry, reviewed by John L. Bell, page 244.
  • M. Vorobej, A Theory of Argument, reviewed by Douglas Walton, page 245.
  • J. Flum and M. Grohe, Parameterized complexity theory, reviewed by Thomas Schwentick, page 246.
  • D. M. Gabbay and F. Guenthner, editors, Handbook of philosophical logic, vol. 10, reviewed by Theo M. V. Janssen, page 248.
  • Reviews, pages 359 — 374.
  • L. Wos and G. W. Pieper, A fascinating country in the world of computing—your guide to automated reasoning, reviewed by Robert K. Meyer, page 359.
  • J. L. Bell, The continuous and the infinitesimal in mathematics and philosophy, reviewed by Philip Ehrlich, page 361.
  • P. Hinman, Fundamentals of mathematical logic, reviewed by Eric J. Hall, page 363.
  • R. Tieszen, Phenomenology, logic, and the philosophy of mathematics, reviewed by Kai Hauser, page 365.
  • J. Ferreirós and J. J. Gray (editors), The architecture of modern mathematics, reviewed by Torsten Wilholt, page 368.
  • H. J. Gensler, Historical dictionary of logic, reviewed by Roman Murawski, page 370.
  • S. Awodey, Category theory, reviewed by Jiří Rosický, page 371.
  • N. J. Cutland, M. Di Nasso and D. A. Ross (editors), Nonstandard methods and applications in mathematics, reviewed by Alasdair Urquhart, page 372.
  • Reviews, pages 538 — 552.
  • S. Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, reviewed by Alasdair Urquhart, page 538.
  • R. Epstein, Classical mathematical logic, reviewed by H. B. Enderton, page 540.
  • G. Priest, Doubt truth to be a liar, reviewed by Kevin Scharp, page 541.
  • R. Brady, Universal logic, reviewed by Greg Restall, page 544.
  • K. Sigmund, J. Dawson, and K. Mühlberger, Kurt Gödel: Das Album. The Album, reviewed by Volker Peckhaus, page 547.
  • J. Barnes, Truth, etc., reviewed by Mirja Hartimo, page 549.

  • Obituaries
  • In memoriam: Saunders Mac Lane, 1909—2005, by Steve Awodey, pages 115 — 119.

  • Meetings of the Association
  • 2006 Annual Meeting of the Association for Symbolic Logic, Université du Québec à Montréal, Montréal, Québec, Canada, May 17—21, 2006, pages 120 — 145.
  • 2006 Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’06, Nijmegen, The Netherlands, July 27—August 2, 2006, pages 251 — 298.
  • 2006—07 Winter Meeting of the Association for Symbolic Logic, New Orleans Marriott and Sheraton New Orleans, New Orleans, Louisiana, January 7—8, 2007, pages 375 — 385.
  • 2007 Annual Meeting of the Association for Symbolic Logic, University of Florida, Gainesville, Florida, March 10—13, 2007, pages 386 — 408.
  • 2006 Annual Meeting of the Association for Symbolic Logic — Addendum, Université du Québec à Montréal, Montréal, Québec, Canada, May 17—21, 2006, pages 409 — 409.
  • 2007 Spring Meeting of the Association for Symbolic Logic, The Palmer House Hilton Hotel, Chicago, Illinois, April 19—21, 2007, pages 553 — 560.

  • Meetings sponsored by the Association
  • 13TH Workshop on Logic, Language, Information and Computation (WoLLIC ’2006), CSLI, Stanford, USA, July 18—21, 2006, pages 410 — 411.

  • Notices, pages 146 — 151.
  • Notices, pages 299 — 304.
  • Notices, pages 412 — 416.
  • Notices, pages 622 — 626.

  • Member, officers and committees of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 561 — 565.
  • Members of the Association, pages 566 — 621.

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