Interested Article - Харрингтон, Лео

Лео Энтони Харрингтон ( англ. Leo Anthony Harrington ; род. 17 мая 1946 США ) — американский математик, профессор Калифорнийского университета в Беркли , специалист по теориям вычислимости , моделей и множеств .

В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона .
Харрингтон доказал, что аксиома точна для всех , то есть существует для каждого числа .
Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых .

Примечания

(англ.) . math.berkeley.edu. Дата обращения: 2 октября 2018. 3 августа 2020 года.
. archive.li . 2014-07-02. Архивировано из оригинала на 2 июля 2014 . Дата обращения: 2 октября 2018 . {{ cite news }} : Википедия:Обслуживание CS1 (бот: изначальный URL статус неизвестен) ( ссылка )
Paris, J.; Harrington, L,. / Barwise, J,. — Handbook of Mathematical Logic. — North-Holland, 1977. — С. 1133–1142. 7 апреля 2016 года.
(англ.) . www.sciweavers.org. Дата обращения: 2 октября 2018. 25 октября 2020 года.
Gyesik Lee. (англ.) // Mathematical Theory and Computational Practice. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. — P. 310–323 . — ISBN 9783642030727 , 9783642030734 . — doi : . 2 июня 2018 года.
Harrington, L. Analytic Determinacy and 0# // Journal of Symbolic Logic. — 1978. — Вып. 43 , № 4 . — С. 685–693 . — P. . — doi : .
Leo Harrington, Saharon Shelah. (EN) // Bulletin (New Series) of the American Mathematical Society. — 1982-01. — Т. 6 , вып. 1 . — С. 79–80 . — ISSN . — doi : . 14 декабря 2019 года.