The Bulletin of Symbolic Logic, Volume 3

The Bulletin of Symbolic Logic

Volume 3, 1997

  • Alonzo Church, by Richard A. Shore, page 153.

    • 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.
  • Step by recursive step: Church's analysis of effective calculability, by Wilfried Sieg, pages 154 - 180.
  • The impact of the lambda calculus in logic and computer science, by Henk Barendregt, pages 181 - 215.
  • Logical consequence revisited, by JoséM. Sagüillo, pages 216 - 241.
  • The mathematical import of Zermelo's well-ordering theorem, by Akihiro Kanamori, pages 281 - 311.
  • Programs, grammars and arguments: a personal view of some connections between computation, language and logic, by J. Lambek, pages 312 - 328.
  • Domains for computation in mathematics, physics and exact real arithmetic, by Abbas Edalat, pages 401 - 452.

    • Communications

  • On the decision problem for two-variable first-order logic, by Erich Grädel, Phokion G. Kolaitis and Moshe Y. Vardi, pages 53 - 69.
  • New dichotomies for Borel equivalence relations, by Greg Hjorth and Alexander S. Kechris, pages 329 - 346.
  • Games and definability for FPC, by Guy McCusker, pages 347 - 362.
  • An elementary approach to the fine structure of L, by Sy D. Friedman and Peter Koepke, pages 453 - 468.
  • An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras, by Martin Hofmann, pages 469 - 486.

    • Obituaries

  • In memoriam: Paul Erdös, 1913-1996, by James E. Baumgartner, pages 70 - 72.

    • Meetings of the Association

  • European ASL Summer meeting, Haifa, Israel, 1995, pages 73 - 147.
  • European ASL Summer meeting, Donostia-San Sebastián, Spain, 1996, pages 242 - 277.
  • ASL Winter Meeting, San Diego, California, January 10-11, 1997, pages 367 - 377.
  • ASL Annual Meeting, Cambridge, Massachusetts, March 22-25, 1997, pages 378 - 396.

    • Meetings sponsored by the Association

  • Sixth Asian Logic Conference, Beijing, P.R. China, May 20-24, 1996, page 148.
  • Australasian Association for Logic 31st Annual Conference, Brisbane, Australia, July 5-8, 1996, pages 363 - 366.
  • 7th Scandinavian Logic Symposium, Uppsala, Sweden, August 18-20, 1996, pages 487 - 488.

    • Notices

  • Notices (No. 1), pages 149 - 152.
  • Notices (No. 2), pages 278 - 279.
  • Notices (No. 3), pages 397 - 400.
  • Notices (No. 4), pages 533 - 536.

    • Officers and members of the Association

  • List of officers and committees of the Association for Symbolic Logic, pages 489 - 492.
  • List of members of the Association for Symbolic Logic, pages 493 - 532.

    • Errata

  • Erratum (No. 2), pages 280 - 291.
  • Errata (No. 4), pages 537 - 537.