Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Harvey Friedman

Harvey Friedman

Harvey Friedman

Emeritus Professor

friedman.8@osu.edu

614-292-8434

754 Mathematics Building
231 West 18th Ave
Columbus, OH
43210
 

Google Map

Areas of Expertise

  • Philosophy of Mathematics
  • Foundations of Mathematics

Education

  • Ph.D. in Mathematics at The Massachusetts Institute of Technology, 1967


 

Recent Publications:

Model Theory
 

  1. "Beth's Theorem in Cardinality Logics", Israel J. Math., Vol. 14, No. 2, (1973), pp. 205-212.
  2. "Countable Models of Set Theories, Lecture Notes" in Mathematics, Vol. 337, Springer-Verlag, (1973), pp. 539-573.
  3. "On Existence Proofs of Hanf Numbers", J. of Symbolic Logic, Vol. 39, No. 2, (1974), pp. 318-324.
  4. "Adding Propositional Connectives to Countable Infinitary Logic", Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 77, No. 1, (1975), pp. 1-6.
  5. "On Decidability of Equational Theories", J. of Pure and Applied Algebra, Vol. 7, (1976), pp. 1-3.
  6. "The Complexity of Explicit Definitions", Advances in Mathematics, Vol. 20, No. 1, (1976), pp. 18-29.
  7. "On the Naturalness of Definable Operations", Houston J. Math., Vol. 5, No. 3, (1979), pp. 325-330.
  8. (with L. Stanley), "A Borel Reducibility Theory for Classes of Countable Structures", J. of Symbolic Logic, Vol. 54, No. 3, September 1989, pp. 894-914.
  9. (with Akos Seress), "Decidability in Elementary Analysis I", Advances in Math., Vol. 76, No. 1, July 1989, pp. 94-115.
  10. (with Akos Seress), "Decidability in Elementary Analysis II", Advances in Math., Vol. 79, No. 1, January 1990, pp. 1-17.
  11. (with Chris Miller), "Expansions of o-minimal structures by sparse sets", Fundamenta Mathematicae, 167 (2001), 55-64.
  12. (with Chris Miller), "Expansions of o-minimal structures by fast sequences", Journal of Symbolic Logic, 70, June, 2005, pp. 410-418.
  13. "What is o-minimality?", Logic Colloquium '06, Special issue of Annals of Pure and Applied Logic, Volume 156, Issue 1, November, 2008, pages 59-67. Logic Colloquium 2006.
  14. (with Krzysztof Kurdyka, Chris Miller, and Patrick Speissegger), "Expansions of the real field by open sets: definability versus interpretability", The Journal of Symbolic Logic, Volume 75, Number 4, Dec. 2010, 1311-1325.