The Bulletin of Symbolic Logic, Volume 7
The Bulletin of Symbolic Logic
Volume 7, 2001
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.
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.
, pages 58 -- 81.
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.
The universal computer
, reviewed by John W. Dawson, page 65.
Handbook of recursive mathematics
, Volume 1, reviewed by Bakhadyr Khoussainov, page 66.
Handbook of recursive mathematics
, Volume 2, reviewed by John N.\ Crossley, page 69.
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.
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
, reviewed by Lev Beklemishev, page 75.
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.
The power of logic
, reviewed by Chris Swoyer, page 79.
, pages 270 -- 286.
In the light of logic
, by S. Feferman, reviewed by G. Aldo Antonelli, page 270.
Labyrinth of thought
, reviewed by Akihiro Kanamori, page 277.
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.
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.
, pages 376 -- 392.
, reviewed by J. Donald Monk, page 376.
J. Barwise and J. Etchemendy,
Language, proof and logic
, reviewed by Patrick Grim, page 377.
The concept of logical consequence
, reviewed by Vann McGee, page 379.
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.
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.
An intuitionistic fixed point theory
, reviewed by Erik Palmgren, page 391.
, pages 521 -- 546.
A course in model theory
, reviewed by Gregory Cherlin, page 521.
Fine structure and class forcing
, reviewed by M. C. Stanley, page 522.
, reviewed by Steven Lindell, page 525.
An introduction to substructural logics
, reviewed by Kosta Do v sen, page 527.
Proto-semantics for positive free logic
, reviewed by Raymond D. Gumb, page 530.
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.
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.
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.
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.
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.
, pages 164 -- 168.
, pages 296 -- 299.
, pages 436 -- 440.
, 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.
, pages 602 -- 602.