Leo Harrington
From Infogalactic: the planetary knowledge core
| Leo A. Harrington | |
|---|---|
| File:Leo Harrington.jpg | |
| Born | May 17, 1946 (age 77) |
| Citizenship | United States |
| Fields | Mathematics |
| Institutions | University of California, Berkeley |
| Alma mater | MIT |
| Doctoral advisor | Gerald E. Sacks |
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.
- Harrington and Jeff Paris proved the Paris–Harrington theorem.[1]
- Harrington showed that if the Axiom of Determinacy holds for all analytic sets then x# exists for all reals x.[2]
- Harrington and Saharon Shelah showed that the first order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.[3]
References
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
   |
This article about an American mathematician is a stub. You can help Wikipedia by expanding it. |
