The Bulletin of Symbolic Logic

Volume 8, Issue 3, September 2002

Articles
  • Arguments for the continuity principle, by Mark van Atten and Dirk van Dalen, pages 329 -- 347.
  • Provability with finitely many variables, by Robin Hirsch, Ian Hodkinson and Roger D. Maddux, pages 348 -- 379.
  • Some aspects of model theory and finite structures, by Eric Rosen, pages 380 -- 403.
  • Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory, by Jaakko Hintikka, pages 404 -- 423.
    •
  • Reviews, pages 424 -- 445.
    •

    In this issue:

  • J. Mayberry, The foundations of mathematics in the theory of sets, reviewed by W. W. Tait, page 424.
  • O. Aberth, Computable calculus, reviewed by Douglas Bridges, page 426.
  • J. Kalman, Automated reasoning with Otter, reviewed by Dale Myers, page 428.
  • M. Fitting and R. Mendelsohn, First-order modal logic, reviewed by Roderic A. Girle, page 429.
  • Articles in Proof theory, History and philosophical significance, reviewed by Jan von Plato, page 431.
  • S. Artemov, Explicit provability and constructive semantics, reviewed by Jeremy D. Avigad, page 432.
  • G. Takeuti, Incompleteness theorems and Si2 versus Si+12 and Gödel sentences of bounded arithmetic, reviewed by Arnold Beckmann, page 433.
  • A. Weiermann, How is it that infinitary methods can be applied to finitary mathematics? reviewed by Thomas Strahm, page 435.
  • U. Kohlenbach, Relative constructivity, reviewed by Ulrich Berger, page 436.
  • Three papers on proof theory by W. Buchholz and by S. Tupailo, reviewed by Toshiyasu Arai, page 437.
  • J. Avigad, A realizability interpretation for classical arithmetic, reviewed by Ulrich Berger, page 439.
  • A. Visser, Submodels of Kripke models, reviewed by Rosalie Iemhoff, page 440.
  • Four papers by L. Fuchs, S. Shelah, and P. Eklof on uniserial modules, reviewed by Birge Huisgen-Zimmermann, page 441.
  • Four papers related to the normal Moore space conjecture, reviewed by Gary Gruenhage, page 443.
    •

    Meetings of the Association
  • 2002 Spring Meeting of the Association for Symbolic Logic, The Westin Seattle, Seattle, Washington, March 28--29, 2002, pages 446 -- 451.
    •
  • Notices, pages 452 -- 456.
    •
    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.