The Bulletin of Symbolic Logic

Volume 14, 2008


Articles
  • On the computational complexity of the numerically definite syllogistic and related logics, by Ian Pratt-Hartmann, pages 1 — 28.
  • Logicality and invariance, by Denis Bonnay, pages 29 — 68.
  • Independence property and hyperbolic groups, by Eric Jaligot, Alexey Muranov, and Azadeh Neman, pages 88 — 98.
  • Forcing axioms, supercompact cardinals, singular cardinal combinatorics, by Matteo Viale, pages 99 — 113.
  • Automata presenting structures: A survey of the finite string case, by Sasha Rubin, pages 169 — 209.
  • Mathematical fuzzy logics, by Siegfried Gottwald, pages 210 — 239.
  • Gentzen's proof of normalization for natural deduction, by Jan von Plato, pages 240 — 257.
  • A brief introduction to algebraic set theory, by Steve Awodey, pages 281 — 298.
  • A natural axiomatization of computability and proof of Church's Thesis, by Nachum Dershowitz and Yuri Gurevich, pages 299 — 350.
  • Cohen and set theory, by Akihiro Kanamori, pages 351 — 378.
  • Reconsidering ordered pairs, by Dana Scott and Dominic McCarty, pages 379 — 397.
  • Hyperlinear and sofic groups: a brief guide, by Vladimir G. Pestov, pages 449 — 480.
  • Full development of Tarski's geometry of solids, by Rafał Gruszczyński and Andrzej Pietruszczak, pages 481 — 540.

  • Communications
  • The complexity of orbits of computably enumerable sets, by Peter A. Cholak, Rodney Downey, and Leo A. Harrington, pages 69 — 87.

  • Reviews, pages 114 — 121.
  • G. Cherlin and E. Hrushovski, Finite structures with few types, reviewed by Vera Koponen, page 114.
  • G. Priest, Towards non-being: the logic and metaphysics of intentionality, reviewed by Thomas Hofweber, page 116.
  • M. Ardeshir, Manteghé Riazi, reviewed by Ali Enayat, page 118.
  • T. Aho and A.-V. Pietarinen (editors), Truth and games: Essays in honour of Gabriel Sandu, reviewed by Alasdair Urquhart, page 119.
  • Reviews, pages 258 — 273.
  • T. Franzén, Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions, reviewed by Lev D. Beklemishev, page 258.
  • R. Taschner, The Continuum, reviewed by Robert Lubarsky, page 260.
  • N. Salmon Metaphysics, mathematics, and meaning, reviewed by Brian van den Broek, page 262.
  • I. Chiswell and W. Hodges, Mathematical logic, reviewed by Robert Lubarsky, page 265.
  • J. H. Lambert, Philosophische Schriften, Vol. VIII, reviewed by Volker Peckhaus, page 267.
  • K. Došen and Z. Petrić, Proof-net categories, reviewed by Lutz Straßburger, page 268.
  • C. Martínez, J. L. Falguera and J. M. Sagüillo (editors), Current topics in logic and analytic philosophy, reviewed by Alasdair Urquhart, page 271.
  • C. Thiel (editor), Leopold Löwenheim (1878—1957), reviewed by Volker Peckhaus, page 272.
  • Reviews, pages 398 — 401.
  • A. Rayo and G. Uzquiano (editors), Absolute generality, reviewed by Peter Smith, page 398.
  • Reviews, pages 541 — 545.
  • G. Brady, From Peirce to Skolem, reviewed by John Corcoran, page 541.
  • G. Priest, An introduction to non-classical logic: From If to Is, reviewed by Petr Hájek, page 544.

  • Corrigenda and Errata
  • Corrigendum to “Incompleteness in a general setting”, by John L. Bell, pages 122 — 122.
  • Errata, by Akihiro Kanamori, pages 552 — 552.

  • Meetings of the Association
  • 2007 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’07, Wrocław, Poland, July 14—July 19, 2007, pages 123 — 159.
  • 2007—2008 Winter Meeting of The Association for Symbolic Logic, San Diego Convention Center, San Diego, CA, January 8—9, 2008, pages 402 — 411.
  • 2008 Spring Meeting of the Association for Symbolic Logic, The Sheraton Hotel, Pasadena, California, March 20—21, 2008, pages 412 — 417.
  • 2008 Annual Meeting of the Association for Symbolic Logic, University of California, Irvine, Irvine, California, March 27—30, 2008, pages 418 — 437.

  • Meetings sponsored by the Association
  • 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007), Rio de Janeiro, Brazil, July 2—5, 2007, pages 160 — 161.
  • The 2007 Annual Conference of the Australasian Association for Logic, Melbourne, Australia, November 9—11, 2007, pages 438 — 443.
  • Second Indian Winter School on Logic, Indian Institute of Technology, Kanpur, January 14—26, 2008, pages 546 — 547.
  • Conference on Computability, Complexity and Randomness, Nanjing University, China, May 19—23, 2008, pages 548 — 549.
  • 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), Edinburgh, Scotland, July 1—4, 2008, pages 550 — 551.

  • Notices, pages 162 — 167.
  • Notices, pages 274 — 279.
  • Notices, pages 444 — 448.
  • Notices, pages 615 — 619.

  • Member, officers and committees of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 553 — 558.
  • Members of the Association, pages 559 — 614.

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