21 citations · 60 across the 34 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
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…
math.LO2013★ 21 cited
Determinacy and Jónsson cardinals in
Steve Jackson, Richard Ketchersid, Farmer Schlutzenberg +1
Assume and let be an uncountable cardinal. We show that is Jónsson, and that if then is Rowbottom. We al…
math.LO2013
Measures in Mice
Farmer Schlutzenberg
This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in…