Leo Harrington

Mathematician, Academic

1946 –

 Credit »
46

Who is Leo Harrington?

Leo Anthony Harrington 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.

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.

We need you!

Help us build the largest biographies collection on the web!

Born
May 17, 1946
Nationality
  • United States of America
Profession
Education
  • Massachusetts Institute of Technology
Employment
  • University of California, Berkeley

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Leo Harrington." Biographies.net. STANDS4 LLC, 2024. Web. 30 Apr. 2024. <https://www.biographies.net/people/en/leo_harrington>.

Discuss this Leo Harrington biography with the community:

0 Comments

    Browse Biographies.net