John R. Steel
Encyclopedia
John Robert Steel is a set theorist at University of California, Berkeley
(formerly at UCLA
). He has made many contributions to the theory of inner model
s and determinacy
. With Donald A. Martin
, he proved projective determinacy, assuming the existence of sufficient large cardinals. He earned his Ph.D.
in Logic & the Methodology of Science at Berkeley in 1977.
University of California, Berkeley
The University of California, Berkeley , is a teaching and research university established in 1868 and located in Berkeley, California, USA...
(formerly at UCLA
University of California, Los Angeles
The University of California, Los Angeles is a public research university located in the Westwood neighborhood of Los Angeles, California, USA. It was founded in 1919 as the "Southern Branch" of the University of California and is the second oldest of the ten campuses...
). He has made many contributions to the theory of inner model
Inner model
In mathematical logic, suppose T is a theory in the languageL = \langle \in \rangleof set theory.If M is a model of L describing a set theory and N is a class of M such that \langle N, \in_M, \ldots \rangle...
s and determinacy
Determinacy
In set theory, a branch of mathematics, determinacy is the study of under what circumstances one or the other player of a game must have a winning strategy, and the consequences of the existence of such strategies.-Games:...
. With Donald A. Martin
Donald A. Martin
Donald A. Martin is a set theorist and philosopher of mathematics at UCLA, where he is a member of the faculty of mathematics and philosophy....
, he proved projective determinacy, assuming the existence of sufficient large cardinals. He earned his Ph.D.
Doctor of Philosophy
Doctor of Philosophy, abbreviated as Ph.D., PhD, D.Phil., or DPhil , in English-speaking countries, is a postgraduate academic degree awarded by universities...
in Logic & the Methodology of Science at Berkeley in 1977.
External links
- Home page at Berkeley