The Bulletin of Symbolic Logic

Volume 8, Issue 2, June 2002

  • Types in logic and mathematics before 1940, by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt, pages 185 -- 245.
  • Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen, by Peter Schroeder-Heister, pages 246 -- 265.

  • Communications
  • A general notion of realizability, by Lars Birkedal, pages 266 -- 282.
  • The group configuration in simple theories and its applications, by Itay Ben-Yaacov , Ivan Toma{\v s}i{\'c}, and Frank O. Wagner, pages 283 -- 298.

  • Reviews, pages 299 -- 311.
  • In this issue:

  • P. Blackburn, M. de Rijke, and Y. Venema, Modal logic, reviewed by Marcus Kracht, page 299.
  • M. Alekhnovich et al., Minimum propositional proof length is NP-hard to linearly approximate, reviewed by Alexander Razborov, page 301.
  • L. Beklemishev, Induction rules, reflection principles, and provably recursive functions, reviewed by Volker Halbach, page 302.
  • U. Abraham, M. Rubin, and S. Shelah, On the consistency of some partition theorems for continuous colorings, reviewed by J. Stepr\={a}ns, page 303.
  • Papers by Z. Szentmikl\'ossy and by Z. Balogh on set-theoretic methods in topology, reviewed by Piotr Koszmider, page 306.
  • M. Burke and M. Magidor, Shelah's pcf theory and its applications, reviewed by Menachem Kojman, page 307.
  • T. Jech, Singular cardinal problem: Shelah's theorem on 2\aleph\omega, reviewed by Menachem Kojman, page 308.
  • Seven papers by Yoshihiro Abe on P\kappa \lambda, reviewed by Pierre Matet, page 309.

  • Meetings of the Association
  • 2001--2002 Winter Meeting of the Association for Symbolic Logic, San Diego Marriott Hotel and Marina, San Diego, California, January 8--9, 2002, pages 312 -- 318.

  • Meetings sponsored by the Association
  • 8th Workshop on Logic, Language, Information and Computation (WoLLIC '2001), Brasilia, Distrito Federal, Brazil July 31--August 3, 2001, pages 319 -- 320.
  • Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), Tohoku University, Sendai, Japan October 29--31, 2001, pages 321 -- 321.

  • Notices, pages 322 -- 327.

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