The Bulletin of Symbolic Logic

Volume 7, Issue 1, March 2001


Articles
  • Explicit provability and constructive semantics, by Sergei N. Artemov, pages 1 -- 36.
  • Diophantine geometry from model theory, by Thomas Scanlon, pages 37 -- 57.

  • Reviews, pages 58 -- 81.
  • In this issue:

  • Articles in Logic, logic, and logic, by George Boolos, reviewed by Vann McGee, page 58.
  • D. van Dalen, Mystic, geometer, and intuitionist , reviewed by Jan von Plato, page 62.
  • M. Davis, The universal computer , reviewed by John W. Dawson, page 65.
  • Articles in Handbook of recursive mathematics , Volume 1, reviewed by Bakhadyr Khoussainov, page 66.
  • Articles in Handbook of recursive mathematics , Volume 2, reviewed by John N.\ Crossley, page 69.
  • P. Odifreddi, Classical recursion theory , Volume II, reviewed by Peter G. Hinman, page 71.
  • R. Shore and T. Slaman, Defining the Turing jump , reviewed by Carl G. Jockusch, Jr., page 73.
  • U. Kohlenbach, On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness , reviewed by Lev Beklemishev, page 75.
  • T. Arai, Some results on cut-elimination, provable well-orderings, induction and reflection , reviewed by Jeremy Avigad, page 77.
  • Papers by J. Baumgartner, A. Taylor, and S. Wagon, reviewed by Thomas Jech, page 79.
  • S. Layman, The power of logic , reviewed by Chris Swoyer, page 79.

  • Meetings of the Association
  • 2000 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2000, La Sorbonne, Paris, France, July 23--31, 2000, pages 82 -- 163.

  • Notices, pages 164 -- 168.

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