Ana C. Morel

Anne C. Morel (también conocida como Anne C. Davis , fallecida el 22 de julio de 1984) fue una matemática estadounidense reconocida por su trabajo en lógica , teoría del orden y álgebra . Fue la primera mujer catedrática de matemáticas en la Universidad de Washington .

Morel se graduó en 1941 de la Universidad de California, Los Ángeles . ^{[ 1 ]} Comenzó estudios de posgrado en matemáticas en 1942 en la Universidad de California, Berkeley , pero los interrumpió para servir en las WAVES (Reserva Naval Femenina de los Estados Unidos) durante la Segunda Guerra Mundial . Regresó a sus estudios en Berkeley en 1946, ^{[ 2 ]} y completó su doctorado en 1953. Su disertación, Un estudio sobre la aritmética de los tipos de orden , fue dirigida por Alfred Tarski , ^{[ 3 ]} y versó sobre aritmética ordinal . ^{[ 2 ]}

Después de dos años como profesora asistente en Berkeley, ^{[ 2 ] [ 4 ]} y puestos en la Universidad de California, Davis ^{[ 2 ]} y el Instituto de Estudios Avanzados (1959–1960), ^{[ 2 ] [ 5 ]} se unió al profesorado de matemáticas de la Universidad de Washington en 1960, y se convirtió en profesora asociada titular allí en 1961. ^{[ 1 ]} Finalmente se convirtió en la primera mujer catedrática de matemáticas allí, ^{[ 2 ]} y durante muchos años fue la única mujer catedrática de matemáticas de la universidad. ^{[ 6 ]}

Como parte de su trabajo de tesis, en 1952, Morel encontró dos tipos de orden numerables diferentes cuyos cuadrados son iguales. Después de que Wacław Sierpiński simplificara su construcción, la publicaron conjuntamente. ^{[A] [ 7 ]}

En 1955, Morel publicó un recíproco del teorema de Knaster-Tarski , según el cual toda red incompleta tiene una función creciente sin punto fijo . ^{[B] [ 8 ]}

Su artículo de 1965 con Thomas Frayne y Dana Scott , "Productos directos reducidos", proporciona las principales definiciones de productos reducidos en la teoría de modelos . Fue publicado después de que ya se hubieran descubierto varias aplicaciones importantes de esas definiciones, y ha sido llamado un "artículo de referencia clásico". ^{[E] [ 9 ]} Su única publicación con su asesor, Alfred Tarski , fue un breve anuncio de una investigación relacionada que utilizaba productos reducidos en conexión con el teorema de compacidad en lógica matemática. ^[C] Entre otros resultados, proporcionó una demostración del teorema de compacidad utilizando ultraproductos . ^{[ 10 ]} Con Chen Chung Chang , también utilizó productos reducidos para mostrar que una condición suficiente para que las propiedades se conservaran bajo productos directos , derivada por Alfred Horn , no era también una condición necesaria. ^{[D] [ 11 ]}

Los temas de sus investigaciones posteriores incluyeron la teoría de grupos , los semigrupos y la cofinalidad en el álgebra universal . Su última publicación, publicada póstumamente, fue "Cofinalidad de las álgebras" (1986). ^{[F] [ 12 ]}

Durante su servicio militar, Morel conoció y se casó con Alan Davis, también matemático. Sin embargo, su matrimonio no prosperó, y Davis aceptó un puesto en la Universidad de Nevada, Reno, mientras que Morel retomó sus estudios en la Universidad de California, Berkeley. Se divorciaron en 1955. ^{[ 2 ]}

En Berkeley, Morel inició una relación amorosa con su asesor Alfred Tarski en 1950, aproximadamente al mismo tiempo que otra estudiante y amante de Tarski, Wanda Szmielew , dejó Berkeley para regresar a Polonia. Tarski estaba casado con Maria Witkowska (con quien se había casado en 1929), pero cuando Morel se divorció de su esposo Alan Davis en 1955, Tarski le ofreció divorciarse de Maria y casarse con ella. Sin embargo, ella lo rechazó. En cambio, en 1957, se casó con Delos Morel, un abogado. Aunque los Morel y los Tarski mantuvieron una relación amistosa al menos hasta 1960, Morel llegó a considerar que el trato que Tarski daba a sus otras estudiantes era un abuso de su posición de poder que ahora le parecía inaceptable. ^{[ 2 ]}

Los Morel tuvieron dos hijas, Jeanne (nacida en 1958) y Verena (1962–2002). ^{[ 2 ] [ 13 ]} Morel murió el 22 de julio de 1984. ^{[ 14 ]} Su esposo Delos se convirtió en Juez Administrativo Jefe de la Junta de Apelaciones de Seguros Industriales del Estado de Washington y murió en 2008. ^{[ 15 ]}