Сахарский Шелах

Сахарский Шелах
Шела в 2005 году
Рожденный	( 1945-07-03 ) 3 июля 1945 г. Иерусалим , Британский мандат в Палестине (ныне Израиль)
Альма-матер	Тель-Авивский университет (бакалавр наук) Еврейский университет (магистр наук, доктор философии)
Известный	Правильный форсинг , теория ПКФ , лемма Зауэра–Шела , кардинал Шела
Награды	Премия Эрдеша (1977) Премия Ротшильда (1982) Премия Карпа (1983). Премия Джорджа Пойа (1992) Лекция Гёделя (1996) Премия Бояи (2000) Премия Вольфа (2001) Премия Израиля (1998). Премия ЭМЕТ (2011 г.) Премия Лероя П. Стила (2013) Премия Рольфа Шока (2018)
Научная карьера
Поля	Математическая логика , теория моделей , теория множеств
Учреждения	Еврейский университет , Университет Рутгерса
Докторантура	Майкл О. Рабин
Докторанты	Рами Гроссберг

Сахара Шела ( Шагарон Шелах , Произношение на иврите: [sahäʁo̞n ʃe̞läχ] ; родился 3 июля 1945 г.) — израильский математик. Он является профессором математики в Еврейском университете в Иерусалиме и Университете Рутгерса в Нью-Джерси .

Биография

Шелах родился в Иерусалиме 3 июля 1945 года. Он сын израильского поэта и политического деятеля Йонатана Ратоша . Он получил докторскую степень за работу над стабильными теориями в 1969 году в Еврейском университете.

Шела замужем за Яэль, и имеет троих детей. Его брат, мировой судья Хамман Шелах, вместе с женой и дочерью был убит египетским солдатом во время резни в Рас-Бурке в 1985 году.

Шела планировал стать ученым еще в начальной школе, но изначально его привлекала физика и биология, а не математика. Позже он обнаружил математическую красоту в изучении геометрии: Он сказал: «Но когда я достиг девятого класса, я начал изучать геометрию, и мои глаза открылись для этой красоты — системы доказательств и теорем, основанной на очень небольшом количестве аксиом, которая произвела на меня впечатление и пленил меня». В возрасте 15 лет он решил стать математиком, и этот выбор закрепился после прочтения Авраама Халеви Френкеля « книги Введение в математику» .

Он получил степень бакалавра наук. окончил Тель-Авивский университет в 1964 году, служил в Армии обороны Израиля с 1964 по 1967 год и получил степень магистра наук. из Еврейского университета (под руководством Хаима Гейфмана) в 1967 году. Затем он работал ассистентом преподавателя в Институте математики Еврейского университета в Иерусалиме, одновременно защитив докторскую диссертацию. там под руководством Михаэля Осера Рабина , по изучению устойчивых теорий.

Шела преподавал в Принстонском университете в 1969–70 годах, а затем работал доцентом в Калифорнийском университете в Лос-Анджелесе в 1970–71 годах. В 1974 году он стал профессором Еврейского университета и продолжает занимать эту должность.

Он был приглашенным профессором в следующих университетах: Университет Висконсина (1977–78), Калифорнийский университет в Беркли (1978 и 1982), Мичиганский университет (1984–85), Университет Саймона Фрейзера , Бернаби, Британская Колумбия (1985) и Университет Рутгерса , Нью-Йорк Джерси (1985). С 1986 года он является выдающимся приглашенным профессором в Университете Рутгерса .

Академическая карьера

Основные интересы Шела лежат в области математической логики , в частности, теории моделей и теории аксиоматических множеств .

В теории моделей он разработал теорию классификации , которая привела его к решению проблемы Морли . В теории множеств он открыл понятие правильного принуждения , важного инструмента в итерационного принуждения аргументах . С помощью теории PCF он показал, что, несмотря на неразрешимость самых основных вопросов кардинальной арифметики (таких как гипотеза континуума ), все еще существуют весьма нетривиальные теоремы ZFC о кардинальном возведении в степень. Шела построил группу Йонссона — несчетную группу, у которой каждая собственная подгруппа счетна. Он показал, что проблема Уайтхеда не зависит от ZFC . Он дал первую примитивно-рекурсивную верхнюю границу чисел Ван дер Вардена V(C,N) . Он распространил теорему невозможности Эрроу на системы голосования.

Работа Шела оказала глубокое влияние на теорию моделей и теорию множеств. Инструменты, которые он разработал для своей теории классификации, были применены к широкому кругу тем и проблем теории моделей и привели к большим достижениям в теории устойчивости и ее использованию в алгебре и алгебраической геометрии, как это показали, например, Эхуд Грушовски и многие другие. Теория классификации включает в себя глубокую работу, развитую во многих десятках статей, чтобы полностью решить проблему спектра классификации теорий первого порядка с точки зрения структуры и количества неизоморфных моделей, что является огромным проявлением силы. После этого он расширил свою работу далеко за пределы теорий первого порядка, например, для абстрактных элементарных классов . Эта работа также имела важные приложения к алгебре благодаря работам Бориса Зильбера .

Награды

• Трижды выступал на Международном конгрессе математиков (приглашен в 1974 г., на пленарном заседании 1983 г., на пленарном заседании 1986 г.).
• Первый лауреат премии Эрдеша в 1977 году.
• Премия Карпа Ассоциации символической логики 1983 г.
• Премия Израиля по математике, 1998 г.
• Премия Бояи 2000 г.
• Премия Вольфа по математике 2001 г.
• Премия EMET в области искусства, науки и культуры 2011 г.
• Премия Лероя П. Стила за выдающийся вклад в исследования, 2013 г.
• Почетный член Венгерской академии наук , 2013 г.
• Расширенный грант Европейского исследовательского совета (2013 г.)
• Медаль Хаусдорфа Европейского общества теории множеств, совместно с Мариантой Маллиарис , 2017 г.
• Премия Шока в области логики и философии Шведской королевской академии наук , 2018 г.
• Почетный доктор Венского технического университета , 2019 г.

Избранные работы

• Правильная выгонка , Springer 1982. ISBN   978-0-387-11593-1
• Правильная и неправильная выгонка (2-е издание книги «Правильная выгонка» ), Springer, 1998 г. ISBN   978-1107168367
• Вокруг теории классификации моделей , Springer 1986. ISBN   978-3540164487
• Теория классификации и количество неизоморфных моделей , Исследования по логике и основам математики, 1978, 2-е издание 1990 г. , Elsevier. ISBN   978-0-444-70260-9
• Теория классификации абстрактных начальных классов , Публикации колледжа, 2009 г. ISBN   9781904987710
• Теория классификации абстрактных начальных классов , Том 2, College Publications, 2009 г. ISBN   978-1-904987-72-7
• Кардинальная арифметика , Издательство Оксфордского университета, 1994 г. ISBN   0-19-853785-9

См. также

• Список лауреатов Премии Израиля

Внешние ссылки

• Архив математических статей Шела , shelah.logic.at
• Болдуин, Джон Т. (2008). «Абстрактные начальные классы: немного ответов, больше вопросов». В Андретте, Алессандро; Кирнс, Кейт; Замбелла, Доменико (ред.). Логический коллоквиум 2004 . Чикаго, Иллинойс: Кембридж: Издательство Кембриджского университета. стр. 1–17. ISBN  978-0-521-88424-2 . OCLC   177021884 .