Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661794 | Annals of Pure and Applied Logic | 2013 | 27 Pages |
Abstract
In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ (after a suitable preparatory forcing). This provides a general theory covering the known cases of tree iterations which preserve large cardinals (cf. Dobrinen and Friedman (2010) [3], Friedman and HaliloviÄ (2011) [5], Friedman and Honzik (2008) [6], Friedman and Magidor (2009) [8], Friedman and Zdomskyy (2010) [10], Honzik (2010) [12]).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sy-David Friedman, Radek Honzik, Lyubomyr Zdomskyy,