Michael D. Morley
Michael Darwin Morley (* 29. September 1930 in Youngstown, Ohio; † 11. Oktober 2020 in Sayre, Pennsylvania[1]) war ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik (Modelltheorie) beschäftigte.
Werdegang
Morley studierte am Case Institute of Technology (Bachelor-Abschluss 1951) und arbeitete danach von 1955 bis 1961 am Laboratory for Applied Sciences der University of Chicago. 1962 promovierte er an der Universität Chicago bei Robert Vaught[2] und war dann Instructor an der University of California, Berkeley. 1963 war er Assistant Professor an der University of Wisconsin und ab 1966 an der Cornell University, wo er von 1984 bis 1995 Director of Undergraduate Studies in Mathematik war und 2002 Professor Emeritus wurde.
In seiner Dissertation bewies er einen wichtigen Satz der Modelltheorie: Eine abzählbare Theorie, die ein eindeutiges Modell[3] in einer überabzählbar unendlichen Kardinalität hat, hat ein eindeutiges Modell in jeder anderen überabzählbar unendlichen Kardinalität.[4] Dafür erhielt er 2003 den Leroy P. Steele Prize. Von 1986 bis 1989 war er Präsident der Association for Symbolic Logic.
Schriften
- Partitions and models, Lecture Notes in Mathematics, Springer 1968 (Lectures Summer School Leeds 1967)
Weblinks
- Zum Steele Preis für Morley, Notices of the AMS, 2003, (PDF-Datei) (269 kB)
- Homepage, Cornell University, Webarchive vom 18. Februar 2010
Verweise
- Michael Morley, Professor Emeritus of Mathematics, dies at 90. Department of Mathematics, Cornell University, 12. Oktober 2020, abgerufen am 14. Oktober 2020 (englisch).
- Vaught war aus Berkeley. Formal promovierte er bei Saunders MacLane.
- sie ist dann „kategorisch“
- Morley: Categoricity in power, Transactions of the AMS, Bd. 114, 1965, S. 514–538.