Anne C. Morel (también publicada como Anne C. Davis , fallecida el 22 de julio de 1984) fue una matemática estadounidense conocida por su trabajo en lógica , teoría del orden y álgebra . Fue la primera profesora titular de matemáticas en la Universidad de Washington .
Morel se graduó en 1941 de la Universidad de California, Los Ángeles . [1] Comenzó sus estudios de posgrado en matemáticas en 1942 en la Universidad de California, Berkeley , pero dejó sus estudios para servir en WAVES (la Reserva Naval de Mujeres 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 en la aritmética de tipos de órdenes , fue supervisada por Alfred Tarski , [3] y se refería a la 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ó a las matemáticas docente de la Universidad de Washington en 1960, y se convirtió en profesora asociada titular allí en 1961. [1] Con el tiempo, se convirtió en la primera profesora titular de matemáticas allí, [2] y durante muchos años fue la única profesora de matemáticas de la universidad. . [6]
Como parte de su trabajo de tesis, en 1952, Morel encontró dos números ordinales contables diferentes cuyos cuadrados son iguales. Después de que Wacław Sierpiński simplificó su construcción, la publicaron conjuntamente. [A] [7]
En 1955, Morel publicó un recíproco al teorema de Knaster-Tarski , según el cual cada celosía incompleta tiene una función creciente sin un 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 . Se publicó después de que se hubieran descubierto varias aplicaciones importantes de esas definiciones y se le ha denominado "documento de referencia clásico". [E] [9] Su única publicación con su asesor, Alfred Tarski , fue un breve anuncio de una investigación relacionada utilizando productos reducidos en relación con el teorema de la compacidad en lógica matemática. [C] Entre otros resultados, proporcionó una prueba del teorema de la compacidad utilizando ultraproductos . [10] ConChen Chung Chang , también usó productos reducidos para demostrar que una condición suficiente para que las propiedades se conserven bajo productos directos , derivados de Alfred Horn , tampoco era una condición necesaria. [D] [11]