The Bulletin of Symbolic Logic

Volume 9, Issue 2, June 2003


  • New programs and open problems in the foundation of mathematics, by G. Longo P. Scott, pages 129 -- 130.

  • Articles
  • From foundations to ludics, by Jean-Yves Girard, pages 131 -- 168.
  • Symmetry and interactivity in programming, by P.-L. Curien, pages 169 -- 180.
  • Two spaces looking for a geometer, by Giorgio Parisi, pages 181 -- 196.
  • Model theory: Geometrical and set-theoretic aspects and prospects, by Angus Macintyre, pages 197 -- 212.
  • Foundations and applications: axiomatization and education, by F. William Lawvere, pages 213 -- 224.
  • Differential calculus and nilpotent real numbers, by Anders Kock, pages 225 -- 230.

  • Reviews, pages 231 -- 241.
  • In this issue:

  • J. M. Dunn and G. Hardegree, Algebraic methods in philosophical logic, reviewed by Janusz Czelakowski, page 231.
  • M. Zeman, Inner models and large cardinals, reviewed by Ernest Schimmerling, page 234.
  • Two papers of B. Löwe and P. Welch, reviewed by Volker Halbach, page 235.
  • Moti Gitik's recent papers on the Singular Cardinals Problem, reviewed by Akihiro Kanamori, page 237.

  • Meetings of the Association
  • 2002--2003 Winter Meeting of the Association for Symbolic Logic, Philadelphia Marriott Hotel, Philadelphia, Pennsylvania December 27--30, 2002, pages 242 -- 249.
  • 2002--2003 Winter Meeting of the Association for Symbolic Logic, Baltimore Convention Center, Baltimore, Maryland January 17--18, 2003, pages 250 -- 255.

  • Meetings sponsored by the Association
  • Eighth Asian Logic Conference, South-West Normal University, Chongqing, China August 29 -- September 2, 2002, page 256.
  • 2002 Annual Conference of the Australasian Association for Logic, Canberra, Australia, November 30--December 2, 2002, pages 257 -- 265.

  • Notices, pages 266 -- 271.

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