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 order types 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

References

  1. 1 2 Bulletin of the University of Washington Graduate School (PDF), 1963–1965, p. 238
  2. 1 2 3 4 5 6 7 8 9 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
  3. ↑ Anne C. Davis Morel at the Mathematics Genealogy Project
  4. ↑ Register, University of California, Berkeley, 1957, p. 192, Anne C. Morel, Ph.D., Assistant Professor of Mathematics
  5. ↑ "Anne C. Morel", Past members, Institute for Advanced Study, retrieved 2019-10-05
  6. ↑ 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
  7. 1 2 Reviews of "Sur les types d'ordre distincts dont les carrés sont égaux":
  8. 1 2 Reviews of "A characterization of complete lattices":
  9. 1 2 Reviews of "Reduced direct products":
  10. 1 2 Bell, J. L.; Slomson, A. B. (1969), Models and ultraproducts: An introduction, Amsterdam, London: North-Holland Publishing, p. 106, ISBN 9780486449791, MR 0269486
  11. 1 2 Reviews of "On closure under direct product":
  12. 1 2 Reviews of "Cofinality of algebras":
    • Schein, Boris M., Mathematical Reviews, MR 0870473{{citation}}: CS1 maint: untitled periodical (link)
    • Pierce, R. S., zbMATH, Zbl 0613.08001{{citation}}: CS1 maint: untitled periodical (link)
  13. ↑ "Verena Morel", Seattle Times, September 28, 2002 – via Legacy.com
  14. ↑ "Deaths" (PDF), Notices of the American Mathematical Society, 31 (7): 806, November 1984
  15. ↑ "Delos Morel", Seattle Times, July 23, 2008 – via Legacy.com
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.