L(R,μ) is unique

Under various appropriate hypotheses it is shown that there is only one determinacy model of the form L(R,μ) in which μ is a supercompact measure on Pω1(R). In particular, this gives a positive answer to a question asked by W.H. Woodin in 1983.