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.
Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher.[citation needed]
His notable results include proving the Paris–Harrington theorem along with Jeff Paris,[1]
showing that if the axiom of determinacy holds for all analytic sets then x# exists for all reals x,[2]
and proving with Saharon Shelah that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.[3]
^Paris, J.; Harrington, L. (1977), "A Mathematical Incompleteness in Peano Arithmetic", in Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, pp. 1133–1142
^Harrington, L. (1978), "Analytic Determinacy and 0#", Journal of Symbolic Logic, 43 (4): 685–693, doi:10.2307/2273508, JSTOR 2273508, S2CID 46061318
^Harrington, L.; Shelah, S. (1982), "The undecidability of the recursively enumerable degrees", Bull. Amer. Math. Soc. (N.S.), 6 (1): 79–80, doi:10.1090/S0273-0979-1982-14970-9
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model...
James H. Harrington III, professionally known as Jay Harrington, (born November 15, 1971) is an American actor. He is known for his role as the title character...
the Gödel constructible universe L into itself. Donald A. Martin and LeoHarrington have shown that the existence of 0# is equivalent to the determinacy...
earned his PhD from the University of California, Berkeley in 1986 under LeoHarrington; his dissertation was titled Contributions to Stable Model Theory. He...
107P/Wilson–Harrington, which he and Albert Wilson discovered in 1949 and which had become an asteroid by 1988. Harrington discovered the dwarf galaxy Leo II and...
Susan Haack (UK, born 1945) Petr Hájek (Czech Republic, 1941–2016) LeoHarrington (US, born 1946) Robert S. Hartman (Germany/US, 1910–1973) Georg Wilhelm...
his notable students are Lenore Blum, Harvey Friedman, Sy Friedman, LeoHarrington, Richard Shore, Steve Simpson and Theodore Slaman. Degrees of unsolvability...
Π11 Wadge determinacy is equivalent to Π11 determinacy, as proved by LeoHarrington. This result was extended by Hjorth to prove that Π12 Wadge determinacy...
and Traceability in Broadcast Encryption Systems, was supervised by LeoHarrington. Her interests in computer science broadened through successive moves...
in the television series The Cisco Kid (1950–1956) and in several films. Leo Carrillo was a member of the Carrillo family of California, a prominent Californio...
Daniel Gorenstein Phillip A. Griffiths M. L. Gromov Wolfgang Haken LeoHarrington Allen Edward Hatcher Michael Robert Herman Melvin Hochster Ju. S. Ilyashenko...
Categoricity without compactness The Sixth Annual Gödel Lecture 1995 1995 LeoHarrington, Goedel, Heidegger, and Direct Perception (or, Why I am a Recursion...
"Pixie offers Daryl McCormack a fairy tale beginning". The Sunday Times. Harrington, Patrice (6 June 2021). ""We are very close now" – Tipperary's Daryl McCormack...
an external member of the Hungarian Academy of Sciences (1995). With LeoHarrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories...
1139/e71-014. ISSN 0008-4077. "Panthera leo atrox". Paleobiology Database. Retrieved 17 December 2021. Harrington, C. R. (March 1996). "American Lion" (PDF)...