The Bulletin of Symbolic Logic

Volume 3, Issue 1, March 1997


Articles
  • Set theory generated by Abelian group theory, by Paul C. Eklof, pages 1 -- 16.
  • A model-theoretic approach to ordinal analysis, by Jeremy Avigad and Richard Sommer, pages 17 -- 52.

  • Communications
  • On the decision problem for two-variable first-order logic, by Erich Gr\"adel, Phokion G. Kolaitis and Moshe Y. Vardi, pages 53 -- 69.

  • Obituaries
  • In memoriam: Paul Erd\" os, 1913--1996, by James E. Baumgartner, pages 70 -- 72.

  • Meetings of the Association
  • European ASL Summer meeting, Haifa, Israel, 1995, pages 73 -- 147.

  • Meetings sponsored by the Association
  • Sixth Asian Logic Conference, Beijing, P.R. China, May 20--24, 1996, page 148.

  • Notices, pages 149 -- 152.

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