Tripti Joshi (Editor)

Leo Harrington

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Citizenship
  
United States

Fields
  
Mathematics

Role
  
Professor of mathematics


Name
  
Leo Harrington

Alma mater
  
MIT

Doctoral advisor
  
Gerald Sacks

Leo Harrington httpsuploadwikimediaorgwikipediacommonsthu

Institutions
  
University of California, Berkeley

Education
  
Massachusetts Institute of Technology

Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.

Leo Harrington Leo Harrington Wikipedia

  • Harrington and Jeff Paris proved the Paris–Harrington theorem.
  • Harrington showed that if the Axiom of Determinacy holds for all analytic sets then x# exists for all reals x.
  • Harrington and Saharon Shelah showed that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.

    • References

    Leo Harrington Wikipedia
    (Text) CC BY-SA