[FOM] My Review List

[Harvey Friedman]

This is a followup to 11:48AM 6/13/03.

We again expand the review list, again in random order.

Again I ask the subscribers for additions.

1. The Prospects for Mathematical Logic in the Twenty-First Century, 
by Buss, Kechris, Pillay, Shore, Bulletin of Symbolic Logic, Vol. 7, 
No. 2, June, 2001.

2. Recent Progress on the Continuum Hypothesis (after Woodin), by 
Patrick Dehornoy, http://matin.math.unicaen.fr/~dehornoy/

3. Another Use of Set Theory, Bulletin of Symbolic Logic, Patrick Dehornoy,
Vol. 2, No. 4, December, 1996. Elementary Embeddings and Algebra, by 
Patrick Dehornoy, http://matin.math.unicaen.fr/~dehornoy/

4. Model Theory: Geometrical and Set-Theoretic Aspects and Prospects, 
Angus Macintyre, Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.

5. New Directions in Descriptive Set Theory, by A. Kechris, Bulletin 
of Symbolic Logic, vol. 5, no. 2, June, 1999.

6. Hilbert's Programs: 1917-22, W. Seig, Bulletin of Symbolic Logic, 
vol. 5, no. 1, March, 1999.

7. Godel's Path from the Incompleteness Theorems (1931) to 
Phenomenology (1961), Richard Tieszen, Bulletin of Symbolic Logic, 
Vol. 4 No. 2, June 1998.

8. Computability and Recursion, Bulletin of Symbolic Logic, Robert I. 
Soare, Vol. 2 No. 3, September, 1996.

9. Inner Models and Large Cardinals, Ronald Jensen, Bulletin of 
Symbolic Logic, Vol. 1, No. 4, December, 1995.

10. Logic, Logic, and Logic, George Boolos, ed. Richard Jeffrey, 
Harvard University Press, 1998.

11. In the Light of Logic, Solomon Feferman, Oxford University Press, 1998.

12. Mathematics in Philosophy, Selected Essays, Charles Parsons, 
Cornell University Press, 1983.

13. Elements of Intuitionism, Michael Dummett, Clarendon Press, 1977.

14. Realism in Mathematics, Penelope Maddy, Clarendon Press, 1990. 
Naturalism in mathematics, Penelope Maddy, Clarendon Press, 1997.

15. A New Kind of Science, Stephen Wolfram, Stephen Wolfram LLC, 2002.

16. Locus solum, J.-Y. Girard, Bulletin of Symbolic Logic, vol. 9, 
no. 2, June 2003.

17. Foundations and applications: axiomatization and education, 
Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.

18. Proof theory on the eve of year 2000, S. Feferman, 
http://www-logic.stanford.edu/proofsurvey.html

19. Kreiseliana, About and around Georg Kreisel, Ed. P. Odifreddi, AK 
Peters, 1996.

20. Philosophy of mathematics: an anthology, ed. Dale Jacquette, 
Blackwell, 2002.

21. Philosophy of Logic: an anthology, ed. Dale Jacquette, Blackwell, 2002.

22. Truth in mathematics, ed. Dales and Oliveri, Oxford University Press, 1998.

23. Between logic and intuition: essays in honor of Charles Parsons, 
ed. Sher, Tieszen, Cambridge U. Press, 2000.

24. Kit Fine, The limits of abstraction, Oxford University Press, 2002.

25. New directions in the philosophy of mathematics: an anthology, 
ed. Thomas Tymoczko, Princeton University Press, 1998.

26. Philosophies of mathematics, Alexander George and Daniel J. 
Velleman, Blackwell, 2002.

27. Proof and knowledge in mathematics, ed. Detlefsen, Routledge, 1992.

28. Science without numbers: a defense of nominalism, Hartry Field, 
Princeton University Press, 1980.

29. Social constructivism as a philosophy of mathematics, Paul 
Ernest, State University of New York Press, 1998.