Харрингтон, Лео

Лео Энтони Харрингтон
Лео Энтони Харрингтон
	англ. Leo Anthony Harrington
Дата рождения	17 мая 1946 (75 лет)
Страна	США;
Научная сфера	теория моделей и теория множеств
Место работы	Калифорнийский университет в Беркли;
Альма-матер	МТИ;
Научный руководитель	Gerald Sacks[d]
Награды и премии	Гёдельский лектор[d] (1995)
Сайт	math.berkeley.edu/~leo/
	Медиафайлы на Викискладе

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

В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона[3][4][5].
Харрингтон доказал, что аксиома детерминации точна для всех аналитических множеств, то есть существует для каждого числа[6].
Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых степеней неразрешимости[7].

Примечания

Leo Anthony Harrington | Department of Mathematics at University of California Berkeley (англ.). math.berkeley.edu. Дата обращения: 2 октября 2018.
The Mathematics Genealogy Project - Leo Harrington, archive.li (2 июля 2014). Дата обращения 2 октября 2018.
Paris, J.; Harrington, L,. A Mathematical Incompleteness in Peano Arithmetic / Barwise, J,. — Handbook of Mathematical Logic. — North-Holland, 1977. — С. 1133–1142.
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem | Sciweavers (англ.). www.sciweavers.org. Дата обращения: 2 октября 2018.
Gyesik Lee. Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (англ.) // Mathematical Theory and Computational Practice. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. — P. 310–323. — ISBN 9783642030727, 9783642030734. — doi:10.1007/978-3-642-03073-4_32.
Harrington, L. Analytic Determinacy and 0# // Journal of Symbolic Logic. — 1978. — Вып. 43, № 4. — С. 685–693. — P. https://www.jstor.org/stable/2273508. — doi:10.2307/2273508.
Leo Harrington, Saharon Shelah. The undecidability of the recursively enumerable degrees (EN) // Bulletin (New Series) of the American Mathematical Society. — 1982-01. — Т. 6, вып. 1. — С. 79–80. — ISSN 1088-9485 0273-0979, 1088-9485. — doi:10.1090/S0273-0979-1982-14970-9.

Ссылки

math.berkeley.edu/~leo/ (англ.) — официальный сайт Лео Харрингтона
Лео Энтони Харрингтон (англ.) в проекте «Математическая генеалогия»
Leo Harrington

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Leo Anthony Harrington | Department of Mathematics at University of California Berkeley (англ.). math.berkeley.edu. Дата обращения: 2 октября 2018.

[2] The Mathematics Genealogy Project - Leo Harrington, archive.li (2 июля 2014). Дата обращения 2 октября 2018.

[3] Paris, J.; Harrington, L,. A Mathematical Incompleteness in Peano Arithmetic / Barwise, J,. — Handbook of Mathematical Logic. — North-Holland, 1977. — С. 1133–1142.

[4] Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem | Sciweavers (англ.). www.sciweavers.org. Дата обращения: 2 октября 2018.

[5] Gyesik Lee. Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (англ.) // Mathematical Theory and Computational Practice. — Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. — P. 310–323. — ISBN 9783642030727, 9783642030734. — doi:10.1007/978-3-642-03073-4_32.

[6] Harrington, L. Analytic Determinacy and 0# // Journal of Symbolic Logic. — 1978. — Вып. 43, № 4. — С. 685–693. — P. https://www.jstor.org/stable/2273508. — doi:10.2307/2273508.

[7] Leo Harrington, Saharon Shelah. The undecidability of the recursively enumerable degrees (EN) // Bulletin (New Series) of the American Mathematical Society. — 1982-01. — Т. 6, вып. 1. — С. 79–80. — ISSN 1088-9485 0273-0979, 1088-9485. — doi:10.1090/S0273-0979-1982-14970-9.