The Bulletin of Symbolic Logic, Volume 5

The Bulletin of Symbolic Logic

Volume 5, 1999


Articles

  • Hilbert's programs: 1917--1922, by Wilfried Sieg, pages 1 - 44.
  • 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.
  • Models of second-order Zermelo set theory, by Gabriel Uzquiano, pages 289 - 302.
  • Between Russell and Hilbert: Behmann on the foundations of mathematics, by Paolo Mancosu, pages 303 - 330.
  • Completeness before Post: Bernays, Hilbert, and the development of propositional logic, by Richard Zach, pages 331 - 366.
  • 19th century logic between philosophy and mathematics, by Volker Peckhaus, pages 433 - 450.
  • The syllogism's final solution, by I. Susan Russinoff, pages 451 - 469.

  • Communications

  • Ordered groups: a case study in reverse mathematics, by Reed Solomon, pages 45 - 58.
  • 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.
  • Accessible recursive functions, by Stanley S. Wainer, pages 367 - 388.
  • Terminal notions, by Jind\v {r}ich Zapletal, pages 470 - 478.

  • Obituaries

  • In memoriam: Albert G. Dragalin, 1941--1998, by S. Artemov, B. Kushner, G. Mints, E. Nogina and A. Troelstra, pages 389 - 391.
  • In memoriam: Nelson Goodman, 1906--1998, by Joseph S. Ullian, pages 392 - 394.

  • Meetings of the Association

  • 1998 European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998, pages 59 - 153.
  • 1998--1999 Winter Meeting of the Association for Symbolic Logic, San Antonio, Texas, January 15-16, 1999, pages 273 - 283.
  • ASL Annual Meeting, San Diego, California, March 20-23, 1999, pages 395 - 421.
  • 1999 Spring Meeting of the Association for Symbolic Logic, New Orleans, Louisiana, May 6-7, 1999, pages 479 - 484.

  • Meetings sponsored by the Association

  • WoLLIC '98, 5th workshop on logic, language, information and computation, Sao Paulo, Brazil, July 28-31, 1998, pages 422 - 423.
  • WoLLIC '99, 6th workshop on logic, language, information and computation, Rio de Janeiro, Brazil, May 25-28, 1999., pages 424 - 425.
  • Australasian Association for Logic, 29th Annual Conference, Co-sponsored by the Association for Symbolic Logic, Macquarie University, Sydney, Australia, July 10-12, 1998, pages 485 - 494.
  • XI Latin American Symposium on Mathematical Logic, Co-sponsored by the Association for Symbolic Logic, M\'erida, Venezuela, July 6-10, 1998, pages 495 - 524.

  • Notices

  • Notices (No. 1), pages 154 - 159.
  • Notices (No. 2), pages 284 - 287.
  • Notices (No. 3), pages 426 - 430.
  • Notices (No. 4), pages 573 - 580.

  • Officers, committees and members of the Association

  • Officers and Committes of the Association for Symbolic Logic, pages 525 - 528.
  • Members of the Association for Symbolic Logic, pages 529 - 572.

  • Errata

  • Erratum (No. 1), pages 160 - 160.