Michael D. Morley

Michael Morley at Berkeley

Michael Darwin Morley (* 1930 in Youngstown , Ohio ) is an American mathematician who deals with mathematical logic ( model theory ).

Morley studied at the Case Institute of Technology (Bachelor's degree in 1951) and then worked at the Laboratory for Applied Sciences at the University of Chicago from 1955 to 1961 . In 1962 he received his PhD from the University of Chicago with Robert Vaught and was then an instructor at the University of California, Berkeley . In 1963 he was an Assistant Professor at the University of Wisconsin and from 1966 at Cornell University , where he was Director of Undergraduate Studies in Mathematics from 1984 to 1995 and became Professor Emeritus in 2002.

In his dissertation he proved an important theorem of Morley 's model theory: A countable theory that has a unique model in one uncountable infinite cardinality has a unique model in every other uncountable infinite cardinality. For this he received the Leroy P. Steele Prize in 2003 . From 1986 to 1989 he was President of the Association for Symbolic Logic .

Fonts

• Partitions and models, Lecture Notes in Mathematics, Springer 1968 (Lectures Summer School Leeds 1967)

Web links

• Homepage at Cornell University
• On the Steele Prize for Morley, Notices of the AMS, 2003, (PDF file) (269 kB)

References

1. ↑ Vaught was from Berkeley. Formally, he did his doctorate at Saunders MacLane .
2. ↑ it is then "categorical"
3. ↑ Morley: Categoricity in power , Transactions of the AMS, Vol. 114, 1965, pp. 514-538.