Энн С. Морель - Anne C. Morel

Энн С. Морель (также опубликовано как Энн С. Дэвисумерла 22 июля 1984 г.) была американским математиком, известным своими работами в логика, теория порядка, и алгебра. Она была первой женщиной-профессором математики в Вашингтонский университет.

Образование и карьера

Морель окончил в 1941 г. Калифорнийский университет в Лос-Анджелесе.[1] Она поступила в аспирантуру по математике в 1942 г. Калифорнийский университет в Беркли, но бросила учебу, чтобы служить в ВОЛНЫ (женский военно-морской резерв США) во время Вторая Мировая Война. Она вернулась к учебе в Беркли в 1946 году.[2] и защитила кандидатскую диссертацию. в 1953 г. Ее диссертация, Исследование арифметики типов ордеров, находился под наблюдением Альфред Тарский,[3] и обеспокоен порядковая арифметика.[2]

Проработав два года доцентом в Беркли,[2][4] и должности на Калифорнийский университет в Дэвисе[2] и Институт перспективных исследований (1959–1960),[2][5] она поступила на математический факультет в Вашингтонский университет в 1960 г. и стал штатным доцентом в 1961 г.[1] В конце концов она стала там первой женщиной-профессором математики.[2] и в течение многих лет она была единственной женщиной-профессором математики в университете.[6]

Вклад в исследования

В рамках своей дипломной работы в 1952 году Морель обнаружила два разных счетный порядковые номера чья квадраты равны. После Вацлав Серпинский упростили ее конструкцию, опубликовали совместно.[A][7]

В 1955 году Морель опубликовал обращение к Теорема Кнастера – Тарского, согласно которому каждый неполная решетка имеет возрастающую функцию без фиксированная точка.[B][8]

Ее статья 1965 года с Томасом Фрейном и Дана Скотт "Сокращенные прямые продукты" содержит основные определения уменьшенные продукты в теория моделей. Он был опубликован после того, как были обнаружены несколько важных приложений этих определений, и был назван «классическим справочным документом».[E][9] Ее единственная публикация с ее советником, Альфред Тарский, было краткое объявление о связанных исследованиях с использованием сокращенных продуктов в связи с теорема компактности в математической логике.[C] Среди других результатов он предоставил доказательство теоремы компактности с использованием сверхпродукты.[10] С участием Чен Чунг Чанг, она также использовала восстановленные продукты, чтобы показать, что достаточное условие для сохранения свойств при прямые продукты, полученный Альфред Хорн, тоже не было необходимым условием.[D][11]

Темы ее более позднего исследования включали теория групп, полугруппы, и конфинальность в универсальная алгебра. Ее последняя публикация, опубликованная посмертно, была «Конфинальность алгебр» (1986).[F][12]

Личная жизнь

Во время своей военной службы Морел познакомилась и вышла замуж за Алана Дэвиса, другого математика, но их брак не увенчался успехом, и Дэвис занял должность в Университет Невады, Рино а Морел вернулась к учебе в Калифорнийском университете в Беркли. Они развелись в 1955 году.[2]

В Беркли Морел завела роман со своим советником. Альфред Тарский в 1950 году, примерно в то же время, что и другая студентка-любовница Тарского, Ванда Шмелев, покинул Беркли, чтобы вернуться в Польшу. Тарский был женат на Марии Витковской (на которой он женился в 1929 году), но когда Морель развелся с ее мужем Аланом Дэвисом в 1955 году, Тарский предложил развестись с Марией и вместо этого жениться на Мореле. Однако она ему отказала. Вместо этого в 1957 году она вышла замуж за адвоката Делоса Морела. Хотя Морели и Тарски оставались в дружеских отношениях, по крайней мере, до 1960 года, Морель в конце концов пришел к выводу, что отношение Тарского к другим своим ученицам-студенткам «воспользовалось своим положением власти таким образом, который она теперь считала неприемлемым».[2]

У Морель было две дочери, Жанна (1958 г.р.) и Верена (1962–2002 гг.).[2][13] Морел умер 22 июля 1984 года.[14] Ее муж Делос стал главным судьей по административным делам Апелляционного совета по промышленному страхованию штата Вашингтон и умер в 2008 году.[15]

Избранные публикации

А.Дэвис, Энн С.; Серпинский, Вацлав (1952), "Sur les types d'ordre dont les carrés sont égaux", Comptes Rendus de l'Académie des Sciences, 235: 850–852[7]
Б.Дэвис, Энн С. (1955), «Характеристика полных решеток», Тихоокеанский математический журнал, 5 (2): 311–319, Дои:10.2140 / pjm.1955.5.311[8]
С.Morel, A.C .; Скотт, Д.С.; Тарский, Альфред (Ноябрь 1958 г.), «Приведенные произведения и теорема компактности» (PDF), Уведомления Американского математического общества, 5 (6): 674–675[10]
Д.Чанг, К.; Морель, Энн С. (1958), "О закрытии при прямом произведении", Журнал символической логики, 23 (2): 149–154, Дои:10.2307/2964395, JSTOR  2964395[11]
Э.Frayne, T .; Morel, A.C .; Скотт, Д.С. (1962), «Восстановленные прямые продукты», Fundamenta Mathematicae, 51 (3): 195–228, Дои:10.4064 / FM-51-3-195-228[9]
Ф.Гулд, Мэтью; Морел, Энн С .; Цинакис, Константин (1986), "Конфинальность алгебр", Универсальная алгебра, 22 (2–3): 253–278, Дои:10.1007 / BF01224031, S2CID  122071730[12]

использованная литература

  1. ^ а б Бюллетень Высшей школы Вашингтонского университета (PDF), 1963–1965, с. 238
  2. ^ а б c d е ж г час я Феферман, Анита Бурдман; Феферман, Соломон (2004), Альфред Тарский: жизнь и логика, Кембридж: Издательство Кембриджского университета, стр. 197–201, ISBN  0-521-80240-7, Г-Н  2095748
  3. ^ Энн С. Дэвис Морел на Проект "Математическая генеалогия"
  4. ^ регистр, Калифорнийский университет, Беркли, 1957 г., стр. 192, Энн К. Морель, доктор философии, доцент математики
  5. ^ "Энн Морел", Прошлые участники, Институт перспективных исследований, получено 2019-10-05
  6. ^ Коблиц, Энн Хибнер (Март 1986 г.), «Логическое место для приема на работу - математический факультет», Письма в редакцию, Сиэтл Таймс. Как воспроизведено в Леггетт, Энн (Июль – август 1986 г.), «Письмо редактора», Информационный бюллетень Ассоциации женщин-математиков, 16 (4): 4–5
  7. ^ а б Отзывы о "Sur les types d'ordre sizes dont les carrés sont égaux":
  8. ^ а б Рецензии на "Характеристику полных решеток":
    • Йонссон, Б., Математические обзоры, Г-Н  0074377CS1 maint: журнал без названия (ссылка на сайт)
    • Кёте, Г., zbMATH (на немецком), Zbl  0064.26101CS1 maint: журнал без названия (ссылка на сайт)
  9. ^ а б Отзывы о «Сокращенных прямых товарах»:
    • Чанг, К.-К., Математические обзоры, Г-Н  0142459CS1 maint: журнал без названия (ссылка на сайт)
    • Фуркен, Г., zbMATH (на немецком), Zbl  0108.00501CS1 maint: журнал без названия (ссылка на сайт)
    • Обершельп, Арнольд (Сентябрь 1966 г.), Журнал символической логики, 31 (3): 506–507, Дои:10.2307/2270485, JSTOR  2270485CS1 maint: журнал без названия (ссылка на сайт)
  10. ^ а б Bell, J. L .; Сломсон, А. Б. (1969), Модели и ультрапродукты: введение, Амстердам, Лондон: Издательство Северной Голландии, стр. 106, ISBN  9780486449791, Г-Н  0269486
  11. ^ а б Отзывы о «О закрытии под прямым товаром»:
  12. ^ а б Рецензии на "Конфинальность алгебр":
    • Шейн, Борис М., Математические обзоры, Г-Н  0870473CS1 maint: журнал без названия (ссылка на сайт)
    • Пирс, Р. С., zbMATH, Zbl  0613.08001CS1 maint: журнал без названия (ссылка на сайт)
  13. ^ "Верена Морель", Сиэтл Таймс, 28 сентября 2002 г. - через Legacy.com
  14. ^ "Летальные исходы" (PDF), Уведомления Американского математического общества, 31 (7): 806, ноябрь 1984 г.
  15. ^ "Делос Морел", Сиэтл Таймс, 23 июля 2008 г. - через Legacy.com