Abstract

We present a characterization of supercompactness measures for ω1 in L(R), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of $\delta_3^1 = \omega_2$ with $ZFC+AD^{L(R)}$ , and the second proving the uniqueness of the supercompactness measure over ${\cal P}_{\omega_1} (\lambda)$ in L(R) for $\lambda > \delta_1^2$