activity
19932021
most citedMartin's conjecture, arithmetic equivalence, and countable Borel equivalence relations

35 citations · 69 across the 6 of their papers we have counts for

collaborators
Showing 2021 · math.LOShow all

1 paper · 2 filters

math.LO2021

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…