[Degrees and Employment History] [Distinctions]
[Publications] [Others about Friedman]
[Downloadable Manuscripts] [Comments and Ideas] [Adventures in Music]
[Back to Home Page]

Others about Friedman

1. Harvey Friedman's Research on the Foundations of Mathematics, edited by L. Harrington, M. Morley, A. Scedrov, and S. Simpson, North-Holland, 1985, 408 pages plus xvi.

2. Gina Kolata, Does Godel's Theorem Matter to Mathematics?, Science, Vol. 218, November 1982, pp. 779-780.
   
3. George Mills, A Tree Analysis of Unprovable Statements, Model Theory of Algebra and Arithemtic, Springer Lecture Notes, 834, pp. 248-311.
   
4. Anil Nerode and Leo A. Harrington, The Work of Harvey Friedman, Notices AMS, Vol. 31, 1984, pp. 563-566.
   
5. Steve Simpson, Sigma-1-1 and Pi-1-1 Transfinite Induction, Logic Colloquium '80, (Prague), North-Holland, 1982, pp. 239-253.
   
6. Steve Simpson, Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differnetial Equations?, JSL, 49 (1984), pp. 783-802.
   
7. Steven Simpson, Reverse Mathematics, 1982 AMS Symp. Pure Math., Cornell University, to appear.
   
8. Craig Smorynski, The Varieties of Arboreal Experience, Math. Intelligencer, Vol. 4, No. 4, (1982), pp. 182-189.
   
9. Craig Smorynski, "Big" News from Archimedes to Friedman, Notices of the AMS, Vol. 30, No. 3, April 1983, pp. 251-256.
   
10. Charles Steinhorn, Borel Structures and Measure and Category Logics, Chapter XVI, Model-Theoretic Logics, ed. J. Barwise and S. Feferman, 1985, Spring-Verlag.
    
11. Pavel Pudlak, Improved bounds to the length of proofs of finitistic consistency statements, Logic and Combinatorics, ed. S. Simpson, AMS Contemporary Mathematics Series, vol. 65, 1987.
    
12. T. A. Heppenheimer, The Long Shadow of Kurt Goedel, NSF Mosaic, volume 21, number 1, Spring 1990, pp. 2 - 13.
    
13. David Ranada, Untangling Musicality, Musical America, January 1991, pp. 91.
    
14. Ker-I Ko, Complexity Theory of Real Functions, Birkhauser, 1991.
    
15. Melissa Weber, Friedman Crusades for New Axioms in Mathematics, On Campus, OSU publication, April, 2000.