The Bulletin of Symbolic Logic

Volume 10, Issue 03, September 2004


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

  • Communications
  • Is the Euclidean algorithm optimal among its peers?, by Lou van den Dries and Yiannis N. Moschovakis, pages 390 — 418.

  • Reviews, pages 419 — 434.
  • In this issue:

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

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

  • Meetings of the Association
  • 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
  • 2004 Annual Conference of the Australasian Association for Logic, Dunedin, New Zealand, January 17—18, 2004, pages 447 — 451.

  • Notices, pages 452 — 456.

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