Charles Explorer logo
🇬🇧

Fusion and large cardinal preservation

Publication at Faculty of Arts |
2013

Abstract

In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size <= kappa it not only does not collapse kappa(+) but also preserves the strength of kappa (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 Halilovic (2011) [5], Friedman and Honzik (2008) [6], Friedman and Magidor (2009) [8], Friedman and Zdomskyy (2010) [10], Honzik (2010) [12]).