The Bulletin of Symbolic Logic, Volume 6

### The Bulletin of Symbolic Logic

### Volume 6, 2000

####
Articles

#### Communications

####
Reviews

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.