The mouse set conjecture for sets of reals

Grigor Sargsyan, John Steel

Recall that the Mouse Set Conjecture says that under AD++V=L(P(R)), a real is ordinal definable if and only if it belongs to an iterable mouse. The Mouse Set Conjecture for sets of…