The Bulletin of Symbolic Logic

Volume 10, 2004

  • Jon Barwise, pages 1.
  • Introduction, by Akihiro Kanamori, pages 3.
    •

    Articles
  • Barwise: infinitary logic and admissible sets, by H. Jerome Keisler and Julia F. Knight, pages 4 — 36.
  • Barwise: Abstract model theory and generalized quantifiers, by Jouko Väänänen, pages 37 — 53.
  • Jon Barwise’s papers on natural language semantics, by Keith Devlin, pages 54 — 85.
  • Heterogeneous reasoning and its logic, by Sun-Joo Shin, pages 86 — 106.
  • Forcing in proof theory, by Jeremy Avigad, pages 305 — 333.
  • Notes on quasiminimality and excellence, by John T. Baldwin, pages 334 — 366.
  • Transfinite progressions: a second look at completeness, by Torkel Franzén, pages 367 — 389.
  • Computability theory and differential geometry, by Robert I. Soare, pages 457 — 486.
  • Zermelo and set theory, by Akihiro Kanamori, pages 487 — 553.
    •
    Communications
  • Predicative fragments of Frege Arithmetic, by Øystein Linnebo, pages 153 — 174.
  • Asymptotic cones and ultrapowers of Lie groups, by Linus Kramer and Katrin Tent, pages 175 — 185.
  • Erdős graphs resolve Fine's canonicity problem, by Robert Goldblatt, Ian Hodkinson, and Yde Venema, pages 186 — 208.
  • Is the Euclidean algorithm optimal among its peers?, by Lou van den Dries and Yiannis N. Moschovakis, pages 390 — 418.
    •
  • Reviews, pages 107 — 119.
  • L. Vigano Labelled non-classical logics, reviewed by Petr Hájek, page 107.
  • G. Boole, The mathematical analysis of logic, reviewed by Risto Vilkko, page 108.
  • S. Fajardo and H. J. Keisler, Model theory of stochastic processes, reviewed by Alasdair Urquhart, page 110.
  • S. Wolfram, A new kind of science, reviewed by John Baldwin, page 112.
  • E. Grädel, W. Thomas, and T. Wilke (editors), Automata, logics, and infinite games: A guide to current research, reviewed by David Janin, page 114.
  • J. Woods, Paradox and paraconsistency: Conflict resolution in the abstract sciences, reviewed by Philip Kremer, page 115.
  • N. C. A. da Costa and F. A. Doria, Consequences of an exotic definition for $P=NP$, reviewed by Ralf Schindler, page 118.
    •
  • Reviews, pages 209 — 233.
  • D. Gabbay, Fibring logics, reviewed by Marcus Kracht, page 209.
  • R. Amadio and P. L. Curien, Domains and lambda-calculi, reviewed by René David, page 211.
  • B. C. Pierce, Types and programming languages, reviewed by Frank Pfenning, page 213.
  • M. Giaquinto, The search for certainty: a philosophical account of foundations of mathematics, reviewed by Mark Colyvan, page 214.
  • S. Ghilardi and M. Zawadowski, Sheaves, games, and model completions, reviewed by Jaap van Oosten, page 216.
  • C. Stephen Layman, The power of logic, reviewed by Chris Swoyer, page 218.
  • D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods (editors), Handbook of the logic of argument and inference, reviewed by V. V. Rybakov, page 220.
  • I. Lavrov and L. Maksimova, Problems in set theory, mathematical logic, and the theory of algorithms, reviewed by John T. Baldwin, page 222.
  • Terese, Term rewriting systems, reviewed by Jürgen Giesl, page 223.
  • A. Lubotzky and D. Segal, Subgroup growth, reviewed by Marcus du Sautoy, page 225.
  • N. Vassallo, editor, La filosofia di Gottlob Frege, reviewed by Miriam Franchella, page 226.
  • E. Köhler et al. and B. Buldt et al., Kurt Gödel: Wahrheit und Beweisbarkeit (Bände 1—2), reviewed by Matthias Wille, page 228.
  • C. Penco, Frege: two theses, two senses, reviewed by Norma B. Goethe, page 232.
    •
  • Reviews, pages 419 — 434.
  • R. Vilkko A hundred years of logical investigations, reviewed by Javier Legris, page 419.
  • V. A. Bazhanov, Ocerki sotsialnoj istorii logiki v Rossii [Sketches of the social history of logic in Russia], reviewed by Werner Stelzner, page 421.
  • D. Hesseling, Gnomes in the fog, reviewed by Mark van Atten, page 423.
  • J. Halpern, Reasoning about Uncertainty, reviewed by Ian Pratt-Hartmann, page 427.
  • G. Debs and J. Saint Raymond's work on compact covering maps and descriptive set theory, reviewed by Ilijas Farah, page 430.
    •
  • Reviews, pages 554 — 593.
  • K. Fine, The limits of abstraction, reviewed by Alan Weir, page 554.
  • S. Feferman et al., editors, K. Gödel collected works IV—V, reviewed by Jan von Plato, page 558.
  • P. Smith, An introduction to formal logic, reviewed by David DeVidi, page 563.
  • J. Bennett, A philosophical guide to conditionals, reviewed by John P. Burgess, page 565.
  • W. Goldfarb, Deductive logic, reviewed by Sherrilyn Roush, page 570.
  • J. Azzouni, Deflating existential consequence: a case for nominalism, reviewed by John P. Burgess, page 573.
  • D. J. Bennett, Logic made easy: How to know when language deceives you, reviewed by Richard L. Epstein, page 577.
  • D. M. Gabbay and J. Woods, Editors, Handbook of the history of logic. Volume 1: Greek, Indian and Arabian logic, reviewed by Klaus Glashoff, page 579.
  • Various articles on models, reviewed by Martin Zeman, page 583.
  • Three papers by A. Weiermann, reviewed by Georg Moser, page 588.
  • Two recent articles by H.—D. Ebbinghaus concerning materials in Zermelo's Nachlaß, reviewed by R. Gregory Taylor, page 590.
  • G. Klima, Consequences of a closed, token-based semantics: the case of John Buridan, reviewed by Catarina Dutilh Novaes, page 592.
    •

    • Obituaries
  • In Memoriam: Willem Johannes Blok 1947—2003, by Joel Berman, pages 435 — 437.
    •

    Meetings of the Association
  • 2003 Annual Meeting of the Association for Symbolic Logic, University of Illinois at Chicago, Chicago, IL, June 1—4, 2003, pages 120 — 145.
  • 2003 Summer Meeting of the Association for Symbolic Logic Logic Colloquim '03, Helsinki, Finland, August 14—20, 2003, pages 234 — 280.
  • 2003—04 Winter Meeting of the Association for Symbolic Logic, Phoenix Civic Plaza, Phoenix, Arizona, January 9—10, 2004, pages 281 — 289.
  • 2004 Spring Meeting of the Association for Symbolic Logic, Palmer House Hilton Hotel, Chicago, Illinois, April 23—24, 2004, pages 438 — 446.
    •

    Meetings sponsored by the Association
  • 2003 Annual Conference of the Australasian Association for logic, Adelaide, Australia July 5—6, 2003, pages 290 — 294.
  • 10TH Workshop on Logic, Language, Information and Computation (WoLLIC '2003), Ouro Preto (Minas Gerais), Brazil July 29—August 1, 2003, pages 295 — 296.
  • 2004 Annual Conference of the Australasian Association for Logic, Dunedin, New Zealand, January 17—18, 2004, pages 447 — 451.
  • CLE/SBL 25 Years, XIII Brazilian Logic Conference, Campinas, Brazil, May 26—30, 2003, pages 594 — 595.
  • Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004), Vienna, Austria, February 17—February 20, 2004, pages 596 — 596.
    •
  • Notices, pages 146 — 151.
  • Notices, pages 297 — 302.
  • Notices, pages 654 — 654.
  • Notices, pages 452 — 456.
    •

    Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 597 — 600.
  • Members of the Association, pages 601 — 653.
    •
    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.