The Bulletin of Symbolic Logic was established by the Association for Symbolic Logic to provide a journal of high standards to keep the logic community informed quickly of important developments in all parts of the discipline, and to be accessible and of interest to as wide an audience as possible.
Volume 7, Number 3
Publication Date: September, 2001
Miscellaneous front pages, Bull. Symbolic Logic, Volume 7, Number 3 (2001)
Communications
Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem
Eric Jaligot; 315-328
On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank
Simon Thomas; 329-344
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set
P. D. Welch; 345-360
Polish Metric Spaces: Their Classification and Isometry Groups
John D. Clemens, Su Gao and Alexander S. Kechris; 361-375
Reviews
Review: Jon Barwise, John Etchemendy, Language, Proof and Logic; Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, Albert Liu, LPL Software Manual
Patrick Grim; 377-379
Review: Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously
Norman Danner; 380-383
Review: C. J. Ash, J. Knight, Computable Structures and the Hyperarithmetical Hierarchy
Valentina Harizanov; 383-385
Review: Jeremy Avigad, Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic
Alberto Marcone; 390-391
Review: Mitsuru Tada, Makoto Tatsuta, The Function $\lfloor a/m \rfloor$ in Sharply Bounded Arithmetic
Fernando Ferreira; 391
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory
Erik Palmgren; 391-392
Miscellaneous back pages, Bull. Symbolic Logic, Volume 7, Number 3 (2001)
