The Bulletin of Symbolic Logic

Volume 9, 2003

  • The Reviews, by Richard A. Shore, pages 1–2.
  • New programs and open problems in the foundation of mathematics, by G. Longo P. Scott, pages 129 -- 130.
    •

    Articles

  • Gödel, Tarski, Church, and the Liar, by György Serény, pages 3–25.
  • From foundations to ludics, by Jean-Yves Girard, pages 131 -- 168.
  • Symmetry and interactivity in programming, by P.-L. Curien, pages 169 -- 180.
  • Two spaces looking for a geometer, by Giorgio Parisi, pages 181 -- 196.
  • Model theory: Geometrical and set-theoretic aspects and prospects, by Angus Macintyre, pages 197 -- 212.
  • Foundations and applications: axiomatization and education, by F. William Lawvere, pages 213 -- 224.
  • Differential calculus and nilpotent real numbers, by Anders Kock, pages 225 -- 230.
  • The empty set, the singleton, and the ordered pair, by Akihiro Kanamori, pages 273 -- 298.
  • Computable and continuous partial homomorphisms on metric partial algebras, by Viggo Stoltenberg-Hansen and John V. Tucker, pages 299 -- 334.
  • Survey of the Steinhaus tiling problem, by Steve Jackson and R. Daniel Mauldin, pages 335 -- 361.
  • A universal approach to self-referential paradoxes, incompleteness and fixed points, by Noson S. Yanofsky, pages 362 -- 386.
  • On the philosophical development of Kurt Gödel, by Mark van Atten and Juliette Kennedy, pages 425 — 476.
  • Identity of proofs based on normalization and generality, by Kosta Došen, pages 477 — 503.
    •

    Communications

  • Local initial segments of the Turing degrees, by Bjørn Kjos-Hanssen, pages 26–36.
  • Finite conformal hypergraph covers and Gaifman cliques in finite structures, by Ian Hodkinson and Martin Otto, pages 387 -- 405.
    •

    Reviews

  • Reviews, pages 37–50.
  • H. Andréka, S. Givant, and I. Németi, Decision problems for equational theories of relation algebras, reviewed by Roger D. Maddux, page 37.
  • C. McGinn, Logical properties: identity, existence, predication, necessity, truth, reviewed by Matthew McKeon, page 39.
  • S. Tupailo, Realization of analysis into explicit mathematics, reviewed by Thomas Strahm, page 42.
  • F. A. Muller, Sets, classes, and categories, reviewed by Colin McLarty, page 43.
  • A. Beckmann, Proving consistency of equational theories in bounded arithmetic, reviewed by Chris Pollett, page 44.
  • J. Avigad, Update procedures and the 1-consistency of arithmetic, reviewed by Toshiyasu Arai, page 45.
  • U. Berger, W. Buchholz, and H. Schwichtenberg, Refined program extraction from classical proofs, reviewed by N. Danner, page 47.
  • A. Bès, Decidability and definability results related to the elementary theory of ordinal multiplication, reviewed by John E. Doner, page 49.
    •
  • Reviews, pages 231 -- 241.
  • J. M. Dunn and G. Hardegree, Algebraic methods in philosophical logic, reviewed by Janusz Czelakowski, page 231.
  • M. Zeman, Inner models and large cardinals, reviewed by Ernest Schimmerling, page 234.
  • Two papers of B. Löwe and P. Welch, reviewed by Volker Halbach, page 235.
  • Moti Gitik's recent papers on the Singular Cardinals Problem, reviewed by Akihiro Kanamori, page 237.
    •
  • Reviews, pages 406 -- 416.
  • H. B. Enderton, A Mathematical Introduction to Logic, reviewed by Natasha Dobrinen, page 406.
  • P. B. Andrews, An introduction to mathematical logic and type theory: to truth through proof, reviewed by Mitsuru Yasuhara, page 408.
  • David Marker, Model Theory: An Introduction, reviewed by Bradd Hart, page 408.
  • Articles in Paraconsistency: the logical way to the inconsistent, reviewed by Casey N. McGinnis, page 410.
  • P. Bernhard, Euler-Diagramme, reviewed by Michael Beaney, page 412.
  • Y. Rogozhin, Small universal Turing machines, reviewed by Maurice Margenstern, page 414.
  • W. Mitchell, E. Schimmerling, and J. Steel, The covering lemma up to a Woodin cardinal, reviewed by Itay Neeman, page 414.
    •
  • Reviews, pages 504 — 523.
  • James Robert Brown Philosophy of mathematics, an introduction to the world of proofs and pictures, reviewed by Janet Folina, page 504.
  • I. Hacking, An introduction to probability and inductive logic, reviewed by Branden Fitelson, page 506.
  • E. Menzler-Trott, Gentzens Problem, reviewed by Volker Peckhaus, page 508.
  • G. Gerla, Fuzzy logic — Mathematical tools for approximate reasoning, reviewed by Petr Hájek, page 510.
  • D. Jacquette, Philosophy of logic, An anthology, reviewed by William H. Hanson, page 511.
  • R. Hirsh and I. Hodkinson, Relation algebras by games, reviewed by Roger D. Maddux, page 515.
  • G. S. Boolos, J. P. Burgess, and R. C. Jeffrey, Computability and Logic, 4th ed, reviewed by Richard Zach, page 520.
  • Karel Lambert, Free logic: Selected essays, reviewed by David DeVidi, page 521.
    •

    • Obituaries

  • In memoriam: Walter Felscher 1931--2000, by Michael Richter, pages 417 -- 418.
    •

    Meetings of the Association

  • 2002 Annual Meeting of the Association for Symbolic Logic, University of Nevada, Las Vegas, Las Vegas, Nevada June 1–4, 2002, pages 51–70.
  • 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Münster, Germany, August 3–9, 2002, pages 71–120.
  • 2002--2003 Winter Meeting of the Association for Symbolic Logic, Philadelphia Marriott Hotel, Philadelphia, Pennsylvania December 27--30, 2002, pages 242 -- 249.
  • 2002--2003 Winter Meeting of the Association for Symbolic Logic, Baltimore Convention Center, Baltimore, Maryland January 17--18, 2003, pages 250 -- 255.
    •

    Meetings sponsored by the Association

  • 9th Workshop on Logic, Language, Information and Computation (WoLLIC '2002), Rio de Janeiro, Brazil July 30–August 2, 2002, pages 121–122.
  • Eighth Asian Logic Conference, South-West Normal University, Chongqing, China August 29 -- September 2, 2002, page 256.
  • 2002 Annual Conference of the Australasian Association for Logic, Canberra, Australia, November 30--December 2, 2002, pages 257 -- 265.
    •

    Notices

  • Notices, pages 123–127.
  • Notices, pages 266 -- 271.
  • Notices, pages 419 -- 424.
  • Notices, pages 581 — 585.
    •

    Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 524 — 527.
  • Members of the Association, pages 528 — 580.
    •