26 citations · 40 across the 6 of their papers we have counts for
4 papers · 1 filter
Inner-model reflection principles
Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs +3
We introduce and consider the inner-model reflection principle, which asserts that whenever a statement in the first-order language of set theory is true in the set-theoreti…
Topological Ramsey numbers and countable ordinals
Andrés Eduardo Caicedo, Jacob Hilton
We study the topological version of the partition calculus in the setting of countable ordinals. Let and be ordinals and let be a positive integer. We write $β\to_{top}…
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…
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…