26 citations · 40 across the 6 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012★ 26 cited
Square principles in Pmax extensions
Andrés Eduardo Caicedo, Paul Larson, Grigor Sargsyan +3
By forcing with over strong models of determinacy, we obtain models where different square principles at and fail. In particular, we obtain a mod…
math.LO2012
Downward transference of mice and universality of local core models
Andrés Eduardo Caicedo, Martin Zeman
If M is a proper class inner model of ZFC and omega_2^M=omega_2, then every sound mouse projecting to omega and not past 0-pistol belongs to M. In fact, under the assumption that 0…