The Bulletin of Symbolic Logic

Volume 14, Issue 01, March 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.
    •

    Communications
  • The complexity of orbits of computably enumerable sets, by Peter A. Cholak, Rodney Downey, and Leo A. Harrington, pages 69 — 87.
  • 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.
    •
  • Reviews, pages 114 — 121.
    •

    In this issue:

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

    Corrigendum
  • Corrigendum to “Incompleteness in a general setting”, by John L. Bell, pages 122 — 122.
    •

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

    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.
    •
  • Notices, pages 162 — 167.
    •
    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.