The Bulletin of Symbolic Logic

Volume 5, Issue 2, June 1999

Articles
  • New directions in descriptive set theory, by Alexander S. Kechris, pages 161 -- 174.
  • Tarski's system of geometry, by Alfred Tarski and Steven Givant, pages 175 -- 214.
    •

    Communications
  • The logic of bunched implications, by Peter W. O'Hearn and David J. Pym, pages 215 -- 244.
  • Church's problem revisited, by Orna Kupferman and Moshe Y. Vardi, pages 245 -- 263.
  • Gap forcing: Generalizing the L\'{e}vy-Solovay theorem, by Joel David Hamkins, pages 264 -- 272.
    •

    Meetings of the Association
  • 1998--1999 Winter Meeting of the Association for Symbolic Logic, San Antonio, Texas, January 15-16,1999, pages 273 -- 283.
    •
  • Notices, pages 284 -- 287.
    •
    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.