### The Bulletin of Symbolic Logic

#### Volume 8, Issue 4, December, 2002

Articles
• Computability-theoretic complexity of countable structures, by Valentina S. Harizanov, pages 457–477.
• Zermelo's Cantorian theory of systems of infinitely long propositions, by R. Gregory Taylor, pages 478–515.

• Reviews, pages 516–560.
• In this issue:

• M. Balaguer, Platonism and anti-platonism in mathematics, reviewed by Mary Leng, page 516.
• T. Placek, Mathematical intuitionism and intersubjectivity, reviewed by Leon Horsten, page 518.
• G. Mints, A short introduction to intuitionistic logic, reviewed by Helmut Schwichtenberg, page 520.
• F. Wagner, Simple theories, reviewed by Bradd Hart, page 522.
• M. Holz, K. Steffens, and E. Weitz, Introduction to cardinal arithmetic, reviewed by Maxim R. Burke, page 524.
• S. Todorcevic, Topics in topology, reviewed by Ilijas Farah, page 526.
• R. Downey and M. Fellows, Parameterized complexity, reviewed by Jörg Flum, page 528.
• D. Sangiorgi and D. Walker, The $\pi$-calculus, reviewed by Hans Hüttel, page 530.
• S. Hansson, The structure of values and norms, reviewed by Patrice Bailhache, page 531.
• W. Burr, Fragments of Heyting arithmetic, reviewed by Lev Beklemishev, page 533.
• Two papers by T. Strahm and by A. Cantini on explicit mathematics, reviewed by Fernando Ferreira, page 534.
• T. Strahm, First steps into metapredicativity in explicit mathematics, reviewed by Andrea Cantini, page 535.
• T. Arai, Consistency proof via pointwise induction, reviewed by Andreas Weiermann, page 536.
• M. Rathjen, The superjump in Martin-Löf type theory, reviewed by Michael Möllerfeld, page 538.
• S. Feferman, Computation on abstract data types, reviewed by Jeffery Zucker, page 538.
• S. Shelah and H. Woodin, Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, reviewed by Joan Bagaria, page 543.
• D. Martin and J. Steel, Iteration trees, reviewed by William Mitchell, page 545.
• Three publications by S. Jackson, reviewed by Howard S. Becker, page 546.
• Two papers by I. Neeman and J. Zapletal on proper forcing and $L({\mathbb {R}})$, reviewed by Paul B. Larson, page 548.
• Four papers by J. Cummings, et al., reviewed by Arthur W. Apter, page 550.
• A. Blass, Simple cardinal characteristics of the continuum, reviewed by Heike Mildenberger, page 552.
• Three papers by B. Balcar, et al., reviewed by Klaas Pieter Hart, page 554.
• Twelve papers by P. Dehornoy, R. Dougherty, T. Jech, R. Laver, and J. Steel, reviewed by Aleš Drápal, page 555.

• Index of reviews, Volumes 6–8, 2000–2002, pages 561–572.
• Officers and Committees of the Association for Symbolic Logic, pages 573–576.
• Members of the Association (corrected version, April 2003), pages 577–629.
• Notices, pages 630–634.

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