The Bulletin of Symbolic Logic

Volume 2, 1996

Articles

  • The mathematical development of set theory from Cantor to Cohen, by Akihiro Kanamori, pages 1 - 71.
  • The discovery of my completeness proofs, by Leon Henkin, pages 127 - 158.
  • Pure proof theory, aims, methods and results, by Wolfram Pohlers, pages 159 - 188.
  • Deductive completeness, by Kosta Dosen, pages 243 - 283.
  • Computability and recursion, by Robert I. Soare, pages 284 - 321.
  • Another use of set theory, by Patrick Dehornoy, pages 379 - 391.

    • Communications

  • Geometry, calculus and Zil'ber's conjecture, by Ya'acov Peterzil and Sergei Starchenko, pages 72 - 83.
  • From ``metabelian Q-vector spaces'' to new \omega-stable groups, by Olivier Chapuis, pages 84 - 93.
  • Two applications of inner model theory to the study of \Sigma^1_2 sets, by Greg Hjorth, pages 94 - 107.
  • Hyperfinite law of large numbers, by Yeneng Sun, pages 189 - 198.
  • Definability, automorphisms, and dynamic properties of computably enumerable sets, by Leo Harrington and Robert I. Soare, pages 199 - 213.
  • Linear logic proof games and optimization, by Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov, pages 322 - 338.
  • Analytic ideals, by Slawomir Solecki, pages 339 - 348.
  • A note on the completeness of Kozen's axiomatisation of the propositional \mu-calculus, by Igor Walukiewicz, pages 349 - 366.
  • Definability in the recursively enumerable degrees, by AndréNies, Richard A. Shore, and Theodore A. Slaman, pages 392 - 404.
  • Une preuve formelle et intuitionniste du théorème de complétude de la logique classique, by Jean-Louis Krivine, pages 405 - 421.
  • Almost everywhere equivalence of logics in finite model theory, by Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto, pages 422 - 443.

    • Obituaries

  • In memoriam: George Stephen Boolos, 1940-1996, by Warren Goldfarb, pages 444 - 447.
  • In memoriam: Robin Oliver Gandy, 1919-1995, by Yiannis Moschovakis and Mike Yates, pages 367 - 370.
  • In memoriam: Vladimir Aleksandrovich Smirnov, 1931-1996, by V. L. Vasyukov, pages 371 - 372.
  • In memoriam: Hao Wang, 1921 - 1995, by Charles Parsons, pages 108 - 111.

    • Meetings of the Association

  • ASL Annual Meeting, Madison, Wisconsin, March 9-12, 1996, pages 448 - 472.

    • Meetings sponsored by the Association

  • Australasian Association for Logic 30th anniversary conference, Armidale, New South Wales, Australia, June 30 - July 3, 1995, pages 112 - 120.
  • X Latin American Symposium on Mathematical Logic, Bogot&aacute, Colombia, July 24-29, 1995, pages 214 - 237.
  • 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador (Bahia), Brazil, May 8-10, 1996, page 374.
  • Gödel '96 Conference on the Logical Foundations of Mathematics, Computer Science and Physics, Brno, Czech Republic, August 25-29, 1996, page 473.

    • Notices

  • George Boolos, President of the Association for Symbolic Logic, page 373.
  • Notices (No. 1), pages 121 - 125.
  • Notices (No. 2), pages 238 - 241.
  • Notices (No. 3), pages 375 - 377.
  • Notices (No. 4), pages 519 - 522.

    • Officers, committees and members of the Association

  • List of officers and committees of the Association for Symbolic Logic, pages 474 - 477.
  • List of members of the Association for Symbolic Logic, pages 478 - 518.

    • Errata

  • Erratum (No. 1), page 126.
  • Erratum (No. 2), page 242.
  • Errata (No. 4), pages 523 - 524.