| Лео Энтони Харрингтон | |
|---|---|
| англ. Leo Anthony Harrington | |
 | |
| Дата рождения | 17 мая 1946 (72 года) |
| Страна | |
| Научная сфера | теория моделей и теория множеств |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Gerald Sacks[d] |
| Награды и премии | |
| Сайт | 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
Тематические сайты | |
|---|---|
| Нормативный контроль |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .