Assuming that there are ω^{2} many Woodin cardinals with a measurable above them, we will continue the outline
of the proof
of the uniqueness of the models of the form L(ℝ,μ)
that satisfy the theory "ZF+AD+ μ is an
ℝ-supercompact measure". If time
permits we will discuss other scenarios and results.