Энн С. Морель

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

Морель окончила Калифорнийский университет в Лос-Анджелесе в 1941 году . ^[1] Она начала аспирантуру по математике в 1942 году в Калифорнийском университете в Беркли , но оставила учебу, чтобы служить в WAVES (женский резерв ВМС США) во время Второй мировой войны . Она вернулась к учебе в Беркли в 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]