Michael D. Morley
Encyclopedia
Michael Darwin Morley is an American mathematician
, currently professor emeritus at Cornell University
.
His research is in advanced mathematical logic
and model theory
, and he is best known for Morley's categoricity theorem
, which he proved in his Ph.D. thesis "Categoricity in Power" in 1962.
His formal Ph.D. advisor was Saunders MacLane at the University of Chicago
, but he actually finished his thesis under the guidance of Robert Vaught in Berkeley
.
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
, currently professor emeritus at Cornell University
Cornell University
Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...
.
His research is in advanced mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
and model theory
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
, and he is best known for Morley's categoricity theorem
Morley's categoricity theorem
In model theory, a branch of mathematical logic, a theory is κ-categorical if it has exactly one model of cardinality κ up to isomorphism....
, which he proved in his Ph.D. thesis "Categoricity in Power" in 1962.
His formal Ph.D. advisor was Saunders MacLane at the University of Chicago
University of Chicago
The University of Chicago is a private research university in Chicago, Illinois, USA. It was founded by the American Baptist Education Society with a donation from oil magnate and philanthropist John D. Rockefeller and incorporated in 1890...
, but he actually finished his thesis under the guidance of Robert Vaught in Berkeley
University of California, Berkeley
The University of California, Berkeley , is a teaching and research university established in 1868 and located in Berkeley, California, USA...
.