Энн С. Морель

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

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

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

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

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

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

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

В ее статье 1965 года с Томасом Фрейном и Даной Скотт «Приведенные прямые произведения» представлены основные определения приведенных произведений в теории моделей . Он был опубликован после того, как уже было обнаружено несколько важных применений этих определений, и был назван «классическим справочным документом». ^[И] Ее единственной публикацией вместе со своим консультантом Альфредом Тарским было краткое объявление о соответствующих исследованиях с использованием приведенных произведений в связи с теоремой о компактности в математической логике. ^[С] Среди других результатов он предоставил доказательство теоремы о компактности с использованием ультрапроизведений . Вместе с Чэнь Чунг Чангом она также использовала сокращенные произведения, чтобы показать, что достаточное условие сохранения свойств при прямых произведениях , выведенное Альфредом Хорном , также не является необходимым условием. ^[Д]

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

Личная жизнь

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

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

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

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

А.

Дэвис, Энн К.; Серпинский, Вацлав (1952), «Об отдельных типах порядков, квадраты которых равны» , Comptes Rendus de l'Académie des Sciences , 235 : 850–852.

Б.

Дэвис, Энн К. (1955), «Характеристика полных решеток» , Pacific Journal of Mathematics , 5 (2): 311–319, doi : 10.2140/pjm.1955.5.311

С.

Морель, AC; Скотт, Д.С .; Тарский, Альфред (ноябрь 1958 г.), «Приведенные произведения и теорема компактности» (PDF) , Уведомления Американского математического общества , 5 (6): 674–675

Д.

Чанг, CC ; Морель, Энн К. (1958), «О замыкании при прямом произведении», Журнал символической логики , 23 (2): 149–154, doi : 10.2307/2964395 , JSTOR   2964395

И.

Фрейн, Т.; Морель, AC; Скотт, Д.С. (1962), «Приведенные прямые произведения», Fundamenta Mathematicae , 51 (3): 195–228, doi : 10.4064/fm-51-3-195-228

Ф.

Гулд, Мэтью; Морель, Энн К.; Цинакис, Константин (1986), «Кофинальность алгебр», Algebra Universalis , 22 (2–3): 253–278, doi : 10.1007/BF01224031 , S2CID   122071730