Лео Харрингтон - Leo Harrington

Лео А. Харрингтон
Родившийся	17 мая 1946 г. (1946-05-17) (возраст74)
Гражданство	Соединенные Штаты
Альма-матер	Массачусетский технологический институт
Научная карьера
Поля	Математика
Учреждения	Калифорнийский университет в Беркли
Докторант	Джеральд Э. Сакс
Докторанты	Конча Гомес Джессика Стаддон Казуюки Танака

Лео Энтони Харрингтон (родился 17 мая 1946 г.) - профессор математика на Калифорнийский университет в Беркли кто работает в теория рекурсии, теория моделей, и теория множеств.

• Харрингтон и Джефф Пэрис доказал Теорема Пэрис – Харрингтона.^[1]

• Харрингтон показал, что если аксиома детерминированности относится ко всем аналитические множества тогда Икс^# существует для всех реалы Икс.^[2]

• Харрингтон и Сахарон Шелах показал, что теория первого порядка из частично заказанный набор из рекурсивно перечислимый Степени Тьюринга является неразрешимый.^[3]

Рекомендации

1. Paris, J .; Харрингтон, Л. (1977), "Математическая неполнота в арифметике Пеано", в Барвайз, Дж. (ред.), Справочник по математической логике, Северная Голландия, стр. 1133–1142.
2. Харрингтон, Л. (1978), "Аналитическая детерминация и 0^#", Журнал символической логики, 43 (4): 685–693, Дои:10.2307/2273508, JSTOR  2273508
3. Harrington, L .; Шелах, С. (1982), «Неразрешимость рекурсивно перечислимых степеней», Бык. Амер. Математика. Soc. (Н.С.), 6 (1): 79–80, Дои:10.1090 / S0273-0979-1982-14970-9

внешняя ссылка

• Домашняя страница.
• Лео Харрингтон на Проект "Математическая генеалогия"