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 2013 · math.LOShow all

1 paper · 2 filters

math.LO2013★ 3 cited

Comparison of fine structural mice via coarse iteration

Farmer Schlutzenberg, John R. Steel

Let M be a fine structural mouse. Let D be a fully backgrounded L[E]-construction computed inside an iterable coarse premouse S. We describe a process comparing M with D, through f…