The Bulletin of Symbolic Logic, Volume 6

The Bulletin of Symbolic Logic

Volume 6, 2000


Articles

  • Address at the Princeton University bicentennial conference on problems of mathematics (December 17--19, 1946), by Alfred Tarski, by Hourya Sinaceur, pages 1 -- 44.
  • Towards a re-evaluation of Julius K"onig's contribution to logic, by Miriam Franchella, pages 45 -- 66.
  • Zermelo and the Skolem paradox, by Dirk van Dalen and Heinz-Dieter Ebbinghaus, pages 145 -- 161.
  • Formalization in philosophy, by Sven Ove Hansson, pages 162 -- 175.
  • Machines, logic and quantum physics, by David Deutsch, Artur Ekert, and Rossella Lupacchini, pages 265 -- 283.
  • Brouwer and Fraenkel on intuitionism, by Dirk van Dalen, pages 284 -- 310.
  • Does mathematics need new axioms?, by Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel, pages 401 -- 446.

  • Communications

  • Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview, by Jean-Marie Le Bars, pages 67 -- 82.
  • Proper forcing and remarkable cardinals, by Ralf-Dieter Schindler, pages 176 -- 184.
  • Definable encodings in the computably enumerable sets, by Peter A. Cholak and Leo A. Harrington, pages 185 -- 196.
  • Degree spectra of relations on computable structures, by Denis R. Hirschfeldt, pages 197 -- 212.
  • Combinatorics with definable sets: Euler characteristics and Grothendieck rings, by Jan Krajicek and Thomas Scanlon, pages 311 -- 330.
  • Applications of nonstandard analysis in additive number theory, by Renling Jin, pages 331 -- 341.
  • An interpolation theorem, by Martin Otto, pages 447 -- 462.

  • Reviews

  • Reviews, pages 83 -- 96.
  • S. Shelah, Proper and improper forcing, reviewed by P\'eter Komj\'ath, page 83.
  • Ten papers by Arthur Apter, reviewed by James W. Cummings, page 86.
  • Articles in Defeasible deontic logic, reviewed by Wiebe van der Hoek, page 89.
  • J. Goubault-Lerrecq and I. Mackie, Proof theory and automated deduction, reviewed by J"org Hudelmaier, page 94.
  • J. Dejno\v {z}ka, Bertrand Russell on modality and logical relevance, reviewed by Bernard Linsky, page 95.
  • Reviews, pages 213 -- 229.
  • Two papers by L. van den Dries, A. Macintyre, and D. Marker, reviewed by Chris Miller, page 213.
  • L. van den Dries, Tame topology and o-minimal structures, reviewed by Alessandro Berarducci, page 216.
  • G. Dales and H. Woodin, Super-real fields, reviewed by M. Dickmann, page 218.
  • A. Beckmann and W. Pohlers, Applications of cut-free infinitary derivations to generalized recursion theory, reviewed by Dag Normann, page 221.
  • A. Weiermann, Sometimes slow growing is fast growing, reviewed by Martin Ruckert, page 222.
  • F. Montagna, G. Simi, and A. Sorbi, Logic and probabilistic systems, reviewed by J. B. Paris, page 223.
  • B. Jacobs, Categorical logic and type theory, reviewed by R. A. G. Seely, page 225.
  • Reviews, pages 342 -- 360.
  • P. Hajek, Metamathematics of fuzzy logic, reviewed by Francis Jeffry Pelletier, page 342.
  • P. Hajek, L. Godo, and F. Esteva, A complete many-valued logic with product-conjunction, reviewed by Franco Montagna, page 346.
  • P. Grim, G. Mar, and P. St. Denis, The philosophical computer, reviewed by Petr Hajek, page 347.
  • P. Dominguez, Indeterminacion y verdad, reviewed by Itala M. L. D'Ottaviano, page 349.
  • Papers by S. Bellantoni, S. Cook, A. Beckmann and A. Weiermann, reviewed by Karl-Heinz Niggl, page 351.
  • Y. Gurevich and S. Shelah, On finite rigid structures, reviewed by Alexei P. Stolboushkin, page 353.
  • L. Hella, Ph. Kolaitis, and K. Luosto, How to define a linear order on finite models, reviewed by M. Otto, page 355.
  • G. Mints, S. Tupailo, and W. Buchholz, Epsilon substitution method for elementary analysis, reviewed by Ulrich Kohlenbach, page 356.
  • M. Rathjen, Recent advances in ordinal analysis, reviewed by Timothy J. Carlson, page 357.
  • M. Woods, Conditionals, reviewed by William Harper, page 358.
  • Reviews, pages 463 -- 504.
  • 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: Jerzy \Lo\'s 1920--1998, by Leszek Pacholski, pages 97 -- 100.
  • In Memoriam: Kurt Sch\"utte 1909--1998, by Wolfram Pohlers, pages 101 -- 102.
  • In Memoriam: Hugues Leblanc, 1924--1999, by Raymond D. Gumb, pages 230 -- 231.
  • In Memoriam: Kenneth Jon Barwise, 1942--2000, by Solomon Feferman, pages 505 -- 508.

  • Meetings of the Association

  • 1999 European Summer Meeting of the Association for Symbolic Logic, Utrecht, The Netherlands, August 1--6, 1999, pages 103 -- 137.
  • 1999--2000 Winter Meeting of the Association for Symbolic Logic, Washington, DC, January 21--23, 2000, pages 232 -- 247.
  • 2000 Annual Meeting of the Association for Symbolic Logic, University of Illinois at Urbana-Champaign, June 3--7, 2000, pages 361 -- 396.

  • Meetings sponsored by the Association

  • Australasian Association for Logic 1999 Annual Conference, Co-sponsored by the Association for Symbolic Logic, The University of Melbourne, July 2--4, 1999, pages 248 -- 255.

  • Notices

  • Notices, pages 138 -- 144.
  • Notices, pages 256 -- 262.
  • Notices, pages 397 -- 400.
  • Notices, pages 567 -- 570.

  • Officers, committees and members of the Association

  • Officers and Committees of the Association for Symbolic Logic, pages 509 -- 512.
  • Members of the Association for Symbolic Logic, pages 513 -- 566.