The Bulletin of Symbolic Logic

Volume 7, Issue 3, September 2001

Communications
  • Square in core models, by Ernest Schimmerling and Martin Zeman, pages 305 -- 314.
  • Full Frobenius groups of finite Morley rank and the Feit-Thompson Theorem, by Eric Jaligot, pages 315 -- 328.
  • On the complexity of the classification problem for torsion-free abelian groups of finite rank, by Simon Thomas, pages 329 -- 344.
  • On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set, by P. D. Welch, pages 345 -- 360.
  • Polish metric spaces: their classification and isometry groups, by John D. Clemens, Su Gao, and Alexander S. Kechris, pages 361 -- 375.
    •
  • Reviews, pages 376 -- 392.
    •

    In this issue:

  • J. Shoenfield, Mathematical logic, reviewed by J. Donald Monk, page 376.
  • J. Barwise and J. Etchemendy, Language, proof and logic, reviewed by Patrick Grim, page 377.
  • J. Etchemendy, The concept of logical consequence, reviewed by Vann McGee, page 379.
  • H. Simmons, Derivation and computation, reviewed by Norman Danner, page 380.
  • C. Ash and J. Knight, Computable structures and the hyperarithmetical hierarchy, reviewed by Valentina Harizanov, page 383.
  • Seven papers on descriptive set theory, reviewed by Gabriel Debs, page 385.
  • Five papers by T. Bartoszynski et al, reviewed by Claude Laflamme, page 388.
  • J. Avigad, Formalizing forcing arguments in subsystems of second-order arithmetic , reviewed by Alberto Marcone, page 390.
  • M. Tada and M. Tatsuta, The function 'a/m' in sharply bounded arithmetic , reviewed by Fernando Ferreira, page 391.
  • W. Buchholz, An intuitionistic fixed point theory , reviewed by Erik Palmgren, page 391.
    •

    Obituaries
  • In memoriam: Joseph R. Shoenfield 1927--2000, by Carl G. Jockusch, Jr., pages 393 -- 396.
    •

    Meetings of the Association
  • 2000-2001 Winter Meeting of the Association for Symbolic Logic, The New York Hilton and Towers, New York, NY December 28--29, 2000, pages 397 -- 403.
  • 2000-2001 Winter meeting of the Association for Symbolic Logic, Sheraton New Orleans Hotel, New Orleans, Louisiana January 12--13, 2001, pages 404 -- 412.
  • 2000-2001 Spring meeting of the Association for Symbolic Logic, The Minneapolis Hyatt Regency, Minneapolis, Minnesota May 3--4, 2001, pages 413 -- 419.
  • 2001 Annual Meeting of the Association for Symbolic Logic, University of Pennsylvania, Philadelphia, PA March 10--13, 2001, pages 420 -- 435.
    •
  • Notices, pages 436 -- 440.
    •
    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.