Anne C. Morel
Anne C. Morel (also published as Anne C. Davis, died July 22, 1984) was an American mathematician known for her work in logic, order theory, and algebra. She was the first female full professor of mathematics at the University of Washington.
Education and career
Morel graduated in 1941 from the University of California, Los Angeles.[1] She began graduate study in mathematics in 1942 at the University of California, Berkeley, but left her studies to serve in the WAVES (the United States Naval Women's Reserve) during World War II. She returned to her studies in Berkeley in 1946,[2] and completed her Ph.D. in 1953. Her dissertation, A Study in the Arithmetic of Order Types, was supervised by Alfred Tarski,[3] and concerned ordinal arithmetic.[2]
After two years as an assistant professor at Berkeley,[2][4] and positions at the University of California, Davis[2] and the Institute for Advanced Study (1959–1960),[2][5] she joined the mathematics faculty at the University of Washington in 1960, and became a tenured associate professor there in 1961.[1] Eventually she became the first female full professor of mathematics there,[2] and for many years she was the university's only female professor of mathematics.[6]
Research contributions
As part of her thesis work, in 1952, Morel found two different countable ordinal numbers whose squares are equal. After Wacław Sierpiński simplified her construction, they published it jointly.[A][7]
In 1955, Morel published a converse to the Knaster–Tarski theorem, according to which every incomplete lattice has an increasing function with no fixed point.[B][8]
Her 1965 paper with Thomas Frayne and Dana Scott, "Reduced direct products", provides the main definitions of reduced products in model theory. It was published after several important applications of those definitions had already been discovered, and has been called a "classical reference paper".[E][9] Her only publication with her advisor, Alfred Tarski, was a brief announcement of related research using reduced products in connection with the compactness theorem in mathematical logic.[C] Among other results, it provided a proof of the compactness theorem using ultraproducts.[10] With Chen Chung Chang, she also used reduced products to show that a sufficient condition for properties to be preserved under direct products, derived by Alfred Horn, was not also a necessary condition.[D][11]
Topics in her later research included group theory, semigroups, and cofinality in universal algebra. Her final publication, published posthumously, was "Cofinality of algebras" (1986).[F][12]
Personal life
During her war service, Morel met and married Alan Davis, another mathematician. However, their marriage was not successful, and Davis took a position at the University of Nevada, Reno while Morel returned to her studies at UC Berkeley. They divorced in 1955.[2]
In Berkeley, Morel began an affair with her advisor Alfred Tarski in 1950, at approximately the same time as another student mistress of Tarski, Wanda Szmielew, left Berkeley to return to Poland. Tarski was married, to Maria Witkowska (whom he had married in 1929), but when Morel divorced her husband Alan Davis in 1955, Tarski offered to divorce Maria and marry Morel instead. However, she turned him down. Instead, in 1957, she married Delos Morel, a lawyer. Although the Morels and the Tarskis remained on friendly terms until at least 1960, Morel eventually came to view Tarski's treatment of his other female students as "taking advantage of his position of power in a way she now viewed as unacceptable".[2]
The Morels had two daughters, Jeanne (born 1958) and Verena (1962–2002).[2][13] Morel died on July 22, 1984.[14] Her husband Delos became the Chief Administrative Law Judge on the Washington State Board of Industrial Insurance Appeals, and died in 2008.[15]
Selected publications
A. | Davis, Anne C.; Sierpiński, Waclaw (1952), "Sur les types d'ordre distincts dont les carrés sont égaux", Comptes Rendus de l'Académie des Sciences, 235: 850–852[7] |
B. | Davis, Anne C. (1955), "A characterization of complete lattices", Pacific Journal of Mathematics, 5 (2): 311–319, doi:10.2140/pjm.1955.5.311[8] |
C. | Morel, A. C.; Scott, D. S.; Tarski, Alfred (November 1958), "Reduced products and the compactness theorem" (PDF), Notices of the American Mathematical Society, 5 (6): 674–675[10] |
D. | Chang, C. C.; Morel, Anne C. (1958), "On closure under direct product", The Journal of Symbolic Logic, 23 (2): 149–154, doi:10.2307/2964395, JSTOR 2964395[11] |
E. | Frayne, T.; Morel, A. C.; Scott, D. S. (1962), "Reduced direct products", Fundamenta Mathematicae, 51 (3): 195–228, doi:10.4064/fm-51-3-195-228[9] |
F. | Gould, Matthew; Morel, Anne C.; Tsinakis, Constantine (1986), "Cofinality of algebras", Algebra Universalis, 22 (2–3): 253–278, doi:10.1007/BF01224031, S2CID 122071730[12] |
References
- Bulletin of the University of Washington Graduate School (PDF), 1963–1965, p. 238
- Feferman, Anita Burdman; Feferman, Solomon (2004), Alfred Tarski: life and logic, Cambridge: Cambridge University Press, pp. 197–201, ISBN 0-521-80240-7, MR 2095748
- Anne C. Davis Morel at the Mathematics Genealogy Project
- Register, University of California, Berkeley, 1957, p. 192,
Anne C. Morel, Ph.D., Assistant Professor of Mathematics
- "Anne C. Morel", Past members, Institute for Advanced Study, retrieved 2019-10-05
- Koblitz, Ann Hibner (March 1986), "Logical place to recruit is math department", Letters to the editor, Seattle Times. As reproduced in Leggett, Anne (July–August 1986), "Letter from the editor", Newsletter of the Association for Women in Mathematics, 16 (4): 4–5
- Reviews of "Sur les types d'ordre distincts dont les carrés sont égaux":
- Bagemihl, F., Mathematical Reviews, MR 0050650CS1 maint: untitled periodical (link)
- Kurepa, G., zbMATH (in French), Zbl 0047.05701CS1 maint: untitled periodical (link)
- Reviews of "A characterization of complete lattices":
- Jónsson, B., Mathematical Reviews, MR 0074377CS1 maint: untitled periodical (link)
- Köthe, G., zbMATH (in German), Zbl 0064.26101CS1 maint: untitled periodical (link)
- Reviews of "Reduced direct products":
- Chang, C.-C., Mathematical Reviews, MR 0142459CS1 maint: untitled periodical (link)
- Fuhrken, G., zbMATH (in German), Zbl 0108.00501CS1 maint: untitled periodical (link)
- Oberschelp, Arnold (September 1966), Journal of Symbolic Logic, 31 (3): 506–507, doi:10.2307/2270485, JSTOR 2270485CS1 maint: untitled periodical (link)
- Bell, J. L.; Slomson, A. B. (1969), Models and ultraproducts: An introduction, Amsterdam, London: North-Holland Publishing, p. 106, ISBN 9780486449791, MR 0269486
- Reviews of "On closure under direct product":
- Lyndon, R. C., Mathematical Reviews, MR 0104606CS1 maint: untitled periodical (link)
- Müller, G. H., zbMATH (in German), Zbl 0092.00603CS1 maint: untitled periodical (link)
- Keisler, H. Jerome (June 1962), Journal of Symbolic Logic, 27 (2): 234–235, doi:10.2307/2964143, JSTOR 2964143CS1 maint: untitled periodical (link)
- Reviews of "Cofinality of algebras":
- Schein, Boris M., Mathematical Reviews, MR 0870473CS1 maint: untitled periodical (link)
- Pierce, R. S., zbMATH, Zbl 0613.08001CS1 maint: untitled periodical (link)
- "Verena Morel", Seattle Times, September 28, 2002 – via Legacy.com
- "Deaths" (PDF), Notices of the American Mathematical Society, 31 (7): 806, November 1984
- "Delos Morel", Seattle Times, July 23, 2008 – via Legacy.com