The Bulletin of Symbolic Logic, Volume 7

The Bulletin of Symbolic Logic

Volume 7, 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.
  • The prospects for mathematical logic in the twenty-first century, by S. Buss, A. S. Kechris, A. Pillay, and R. A. Shore, pages 169 -- 196.
  • Tautologies from pseudo-random generators, by Jan Krajicek, pages 197 -- 212.
  • On the unusual effectiveness of logic in computer science, by Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, and Victor Vianu, pages 213 -- 236.
  • Relations between some cardinals in the absence of the Axiom of Choice, by Lorenz Halbeisen and Saharon Shelah, pages 237 -- 261.
  • The road to modern logic---An interpretation, by Jos\'e Ferreir\'os, pages 441 -- 484.
  • The ABC's of mice, by Ernest Schimmerling, pages 485 -- 503.
  • Second-order logic and foundations of mathematics, by Jouko V "a "an "anen, pages 504 -- 520.
    •

    Communications

  • Grothendieck rings of Z-valued fields, by Raf Cluckers and Deirdre Haskell, pages 262 -- 269.
  • 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 58 -- 81.
  • 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.
    •

  • Reviews, pages 270 -- 286.
  • Articles in In the light of logic, by S. Feferman, reviewed by G. Aldo Antonelli, page 270.
  • J. Ferreiros, Labyrinth of thought, reviewed by Akihiro Kanamori, page 277.
  • M. Kracht, Tools and techniques in modal logic, reviewed by Guram Bezhanishvili, page 278.
  • A. Troelstra and H. Schwichtenberg, Basic proof theory, reviewed by Roy Dyckhoff, page 280.
  • U. Kohlenbach, Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals, reviewed by Ulrich Berger, page 280.
  • Four papers by Jean Larson et al, reviewed by R. D. Maddux, page 281.
  • Three papers on the tree property, reviewed by Arthur W. Apter, page 283.
  • Seven papers by O. Spinas et al, reviewed by Paul C. Eklof, page 285.
    •

  • Reviews, pages 376 -- 392.
  • 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.
    •

  • Reviews, pages 521 -- 546.
  • B. Poizat, A course in model theory, reviewed by Gregory Cherlin, page 521.
  • S. Friedman, Fine structure and class forcing, reviewed by M. C. Stanley, page 522.
  • N. Immerman, Descriptive complexity, reviewed by Steven Lindell, page 525.
  • G. Restall, An introduction to substructural logics, reviewed by Kosta Do v sen, page 527.
  • A. Antonelli, Proto-semantics for positive free logic, reviewed by Raymond D. Gumb, page 530.
  • K. Wehmeier, Fragments of HA based on $\Sigma_1$-induction, reviewed by Helmut Pfeiffer, page 532.
  • Two papers by W. Burr and V. Hartung, reviewed by Reinhard Kahle, page 532.
  • L. Beklemishev, Another pathological well-ordering, reviewed by G. Mints, page 534.
  • M. Hamano and M. Okada, A direct independence proof of Buchholz's Hydra game on finite labeled trees, reviewed by Lev Gordeev, page 534.
  • T. Strahm, Autonomous fixed point progressions and fixed point transfinite recursion, reviewed by Andrea Cantini, page 535.
  • Two papers by B. `E. Shapirovski\u\i , reviewed by Zoltan T. Balogh, page 536.
  • Three papers on compact spaces, reviewed by Zoltan T. Balogh, page 537.
  • Two papers by R. Dougherty and M. Foreman, reviewed by Stan Wagon, page 537.
  • J. Baumgartner, On the size of closed unbounded sets, reviewed by Sy D. Friedman, page 538.
  • Three papers on infinite graphs, reviewed by P\'eter Komj\'ath, page 539.
  • Two papers on equivalence relations by G. Hjorth, A. Kechris, and A. Louveau, reviewed by S l awomir Solecki, page 541.
  • Papers by M. Foreman and by A. Kechris, reviewed by Greg Hjorth, page 544.
    •

    • Obituaries

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

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

    Meetings sponsored by the Association

  • Australasian Association for Logic 2000 Annual Conference, The University of the Sunshine Coast, June 29--July 2, 2000, pages 287 -- 290.
  • International Conference on Theoretical Computer Science (IFIP TCS2000), Tohoku University, Sendai, Japan, August 17--19, 2000, pages 291 -- 292.
  • 7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000), Natal, Rio Grande do Norte, Brazil, August 15--18, 2000, pages 293 -- 294.
  • XII Brazilian Logic Conference, Itatiaia, Brazil, May 25--28, 1999, pages 295 -- 295.
    •

    Notices

  • Notices, pages 164 -- 168.
  • Notices, pages 296 -- 299.
  • Notices, pages 436 -- 440.
  • Notices, pages 598 -- 601.
    •

    Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 547 -- 550.
  • Members of the Association for Symbolic Logic, pages 551 -- 597.
    •

  • Errata, pages 602 -- 602.
    •