The Bulletin of Symbolic Logic

Volume 8, 2002


Articles

  • The problem of logical constants, by Mario G'omez-Torrente, pages 1 -- 37.
  • Types in logic and mathematics before 1940, by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt, pages 185 -- 245.
  • Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen, by Peter Schroeder-Heister, pages 246 -- 265.
  • Arguments for the continuity principle, by Mark van Atten and Dirk van Dalen, pages 329 -- 347.
  • Provability with finitely many variables, by Robin Hirsch, Ian Hodkinson and Roger D. Maddux, pages 348 -- 379.
  • Some aspects of model theory and finite structures, by Eric Rosen, pages 380 -- 403.
  • Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory, by Jaakko Hintikka, pages 404 -- 423.
  • 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.

  • Communications

  • Groups and algebras of nary relations, by Steven Givantt and Hajnal Andr'eka, pages 38 -- 64.
  • Fixed point logics, by Anuj Dawar and Yuri Gurevich, pages 65 -- 88.
  • A general notion of realizability, by Lars Birkedal, pages 266 -- 282.
  • The group configuration in simple theories and its applications, by Itay Ben-Yaacov , Ivan Toma{\v s}i{\'c}, and Frank O. Wagner, pages 283 -- 298.

  • Reviews

  • Reviews,  pages 89 -- 104.
  • S. Shapiro, Thinking about mathematics, reviewed by Mark Balaguer, page 89.
  • H. Woodin, The axiom of determinacy, forcing axioms, and the nonstationary ideal , reviewed by Paul B. Larson, page 91.
  • Four papers on descriptive set theory, reviewed by Howard S. Becker, page 94.
  • Papers from Advances in modal logic, Volume 1, reviewed by Edwin D. Mares, page 95.
  • F. Sommers and G. Englebretsen, An invitation to formal reasoning, reviewed by William C. Purdy, page 97.
  • A. Urquhart, The complexity of linear logic with weakening, reviewed by Herman Ruge Jervell, page 100.
  • R. Epstein and W. Carnielli, Computability, reviewed by Carlos Augusto Di Prisco, page 101.
  • M. Davis, Engines of logic, reviewed by John W. Dawson, page 104.
  • A. Feferman, From Trotsky to G"odel, reviewed by H. B. Enderton, page 104.
  • Reviews, pages 299 -- 311.
  • P. Blackburn, M. de Rijke, and Y. Venema, Modal logic, reviewed by Marcus Kracht, page 299.
  • M. Alekhnovich et al., Minimum propositional proof length is NP-hard to linearly approximate, reviewed by Alexander Razborov, page 301.
  • L. Beklemishev, Induction rules, reflection principles, and provably recursive functions, reviewed by Volker Halbach, page 302.
  • U. Abraham, M. Rubin, and S. Shelah, On the consistency of some partition theorems for continuous colorings, reviewed by J. Stepr\={a}ns, page 303.
  • Papers by Z. Szentmikl\'ossy and by Z. Balogh on set-theoretic methods in topology, reviewed by Piotr Koszmider, page 306.
  • M. Burke and M. Magidor, Shelah's pcf theory and its applications, reviewed by Menachem Kojman, page 307.
  • T. Jech, Singular cardinal problem: Shelah's theorem on 2\aleph\omega, reviewed by Menachem Kojman, page 308.
  • Seven papers by Yoshihiro Abe on P\kappa \lambda, reviewed by Pierre Matet, page 309.
  • Reviews, pages 424 -- 445.
  • J. Mayberry, The foundations of mathematics in the theory of sets, reviewed by W. W. Tait, page 424.
  • O. Aberth, Computable calculus, reviewed by Douglas Bridges, page 426.
  • J. Kalman, Automated reasoning with Otter, reviewed by Dale Myers, page 428.
  • M. Fitting and R. Mendelsohn, First-order modal logic, reviewed by Roderic A. Girle, page 429.
  • Articles in Proof theory, History and philosophical significance, reviewed by Jan von Plato, page 431.
  • S. Artemov, Explicit provability and constructive semantics, reviewed by Jeremy D. Avigad, page 432.
  • G. Takeuti, Incompleteness theorems and Si2 versus Si+12 and Gödel sentences of bounded arithmetic, reviewed by Arnold Beckmann, page 433.
  • A. Weiermann, How is it that infinitary methods can be applied to finitary mathematics? reviewed by Thomas Strahm, page 435.
  • U. Kohlenbach, Relative constructivity, reviewed by Ulrich Berger, page 436.
  • Three papers on proof theory by W. Buchholz and by S. Tupailo, reviewed by Toshiyasu Arai, page 437.
  • J. Avigad, A realizability interpretation for classical arithmetic, reviewed by Ulrich Berger, page 439.
  • A. Visser, Submodels of Kripke models, reviewed by Rosalie Iemhoff, page 440.
  • Four papers by L. Fuchs, S. Shelah, and P. Eklof on uniserial modules, reviewed by Birge Huisgen-Zimmermann, page 441.
  • Four papers related to the normal Moore space conjecture, reviewed by Gary Gruenhage, page 443.
  • Reviews, pages 516–560.
  • 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.

  • Obituaries

  • In memoriam: Willard van Orman Quine, 1908--2000, by Dagfinn Follesdal and Charles Parsons, pages 105 -- 110.

  • Meetings of the Association

  • 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01, Vienna, Austria, August 6--11, 2001, pages 111 -- 180.
  • 2001--2002 Winter Meeting of the Association for Symbolic Logic, San Diego Marriott Hotel and Marina, San Diego, California, January 8--9, 2002, pages 312 -- 318.
  • 2002 Spring Meeting of the Association for Symbolic Logic, The Westin Seattle, Seattle, Washington, March 28--29, 2002, pages 446 -- 451.

  • Meetings sponsored by the Association

  • 8th Workshop on Logic, Language, Information and Computation (WoLLIC '2001), Brasilia, Distrito Federal, Brazil July 31--August 3, 2001, pages 319 -- 320.
  • Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), Tohoku University, Sendai, Japan October 29--31, 2001, pages 321 -- 321.

  • Notices

  • Notices, pages 181 -- 184.
  • Notices, pages 322 -- 327.
  • Notices, pages 452 -- 456.
  • Notices, pages 630–634.

  • Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 573–576.
  • Members of the Association (corrected version, April 2003), pages 577–629.