The Bulletin of Symbolic Logic

Volume 6, Issue 4, December 2000

Articles
  • Does mathematics need new axioms?, by Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel, pages 401 -- 446.
    •

    Communications
  • An interpolation theorem, by Martin Otto, pages 447 -- 462.
    •
  • Reviews, pages 463 -- 504.
    •

    In this issue:

  • S. Buss, Preface to Handbook of proof theory, reviewed by Toshiyasu Arai, page 463.
  • S. Buss, An introduction to proof theory, reviewed by Toshiyasu Arai, page 464.
  • S. Buss, First-order proof theory of arithmetic, reviewed by Toshiyasu Arai, page 465.
  • M. Fairtlough and S. Wainer, Hierarchies of provably recursive functions, reviewed by Toshiyasu Arai, page 466.
  • W. Pohlers, Subsystems of set theory and second-order number theory, reviewed by Toshiyasu Arai, page 467.
  • J. Avigad and S. Feferman, G\"odel's functional ("Dialectica") interpretation, reviewed by Toshiyasu Arai, page 469.
  • A. Troelstra, Realizability, reviewed by Toshiyasu Arai, page 470.
  • G. Japaridze and D. de Jongh, The logic of provability, reviewed by Toshiyasu Arai, page 472.
  • P. Pudl\'ak, The lengths of proofs, reviewed by Toshiyasu Arai, page 473.
  • G. J\"ager and R. St\"ark, A proof-theoretic framework for logic programming, reviewed by Toshiyasu Arai, page 475.
  • R. Constable, Types in logic, mathematics and programming, reviewed by Toshiyasu Arai, page 476.
  • H. Schwichtenberg, Finite notations for infinite terms, reviewed by Herman Ruge Jervell, page 477.
  • A. Setzer, Well-ordering proofs for Martin-L\"of type theory, reviewed by Wilfried Buchholz, page 478.
  • Articles in Handbook of logic in artificial intelligence and logic programming, Volume 3, reviewed by G. Aldo Antonelli, page 480.
  • G. Antoniou, Nonmonotonic reasoning, reviewed by Marek A. Suchenek, page 484.
  • M. Marx and Y. Venema, Multi-dimensional modal logic, reviewed by Dimiter Vakarelov, page 490.
  • Two papers by J. Baumgartner and P. Dordal, reviewed by Alan Dow, page 495.
  • Two papers by James Baumgartner, reviewed by Stevo Todorcevic, page 497.
  • Selected articles in The philosophy of mathematics today, reviewed by William Demopoulos, page 498.
    •

    Obituaries
  • In Memoriam: Kenneth Jon Barwise, 1942--2000, by Solomon Feferman, pages 505 -- 508.
    •
  • Officers and Committees of the Association for Symbolic Logic, pages 509 -- 512.
  • Members of the Association for Symbolic Logic, pages 513 -- 566.
  • Notices, pages 567 -- 570.
    •
    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.