The Bulletin of Symbolic Logic

Volume 9, Issue 1, March, 2003

  • The Reviews, by Richard A. Shore, pages 1–2.
    •

    Articles
  • Gödel, Tarski, Church, and the Liar, by György Serény, pages 3–25.
    •

    Communications
  • Local initial segments of the Turing degrees, by Bjørn Kjos-Hanssen, pages 26–36.
    •
  • Reviews, pages 37–50.
    •

    In this issue:

  • H. Andréka, S. Givant, and I. Németi, Decision problems for equational theories of relation algebras, reviewed by Roger D. Maddux, page 37.
  • C. McGinn, Logical properties: identity, existence, predication, necessity, truth, reviewed by Matthew McKeon, page 39.
  • S. Tupailo, Realization of analysis into explicit mathematics, reviewed by Thomas Strahm, page 42.
  • F. A. Muller, Sets, classes, and categories, reviewed by Colin McLarty, page 43.
  • A. Beckmann, Proving consistency of equational theories in bounded arithmetic, reviewed by Chris Pollett, page 44.
  • J. Avigad, Update procedures and the 1-consistency of arithmetic, reviewed by Toshiyasu Arai, page 45.
  • U. Berger, W. Buchholz, and H. Schwichtenberg, Refined program extraction from classical proofs, reviewed by N. Danner, page 47.
  • A. Bès, Decidability and definability results related to the elementary theory of ordinal multiplication, reviewed by John E. Doner, page 49.
    •

    Meetings of the Association
  • 2002 Annual Meeting of the Association for Symbolic Logic, University of Nevada, Las Vegas, Las Vegas, Nevada June 1–4, 2002, pages 51–70.
  • 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Münster, Germany, August 3–9, 2002, pages 71–120.
    •

    Meetings sponsored by the Association
  • 9th Workshop on Logic, Language, Information and Computation (WoLLIC '2002), Rio de Janeiro, Brazil July 30–August 2, 2002, pages 121–122.
    •
  • Notices, pages 123–127.
    •
    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.