Supercompact cardinals, sets of reals, and weakly homogeneous trees.
It is shown that if there exists a supercompact cardinal then every set of reals, which is an element of L(R), is the projection of a weakly homogeneous tree. As a consequence of this theorem and recent work of Martin and Steel [Martin, D. A. & Steel, J. R. (1988) Proc. Natl. Acad. Sci. USA 85, 6582-6586], it follows that (if there is a supercompact cardinal) every set of reals in L(R) is determined.
Mathematics 253-37, California Institute of Technology, Pasadena, CA 91125.
W H
WH
Woodin