21 citations · 60 across the 34 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015
A long pseudo-comparison of premice in
Farmer Schlutzenberg
We describe an obstacle to the analysis of as a core model: Assuming sufficient large cardinals, for a Turing cone of reals there are premice in $\m…
math.LO2015
A premouse inheriting strong cardinals from
Farmer Schlutzenberg
We identify a premouse inner model , such that for any coarsely iterable background universe modelling , is a proper class premou…