Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 57, Number 2 (2016), 221-231.
A Lifting Argument for the Generalized Grigorieff Forcing
In this short paper, we describe another class of forcing notions which preserve measurability of a large cardinal from the optimal hypothesis, while adding new unbounded subsets to . In some ways these forcings are closer to the Cohen-type forcings—we show that they are not minimal—but, they share some properties with treelike forcings. We show that they admit fusion-type arguments which allow for a uniform lifting argument.
Notre Dame J. Formal Logic Volume 57, Number 2 (2016), 221-231.
Received: 11 April 2013
Accepted: 26 November 2013
First available in Project Euclid: 7 January 2016
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Honzík, Radek; Verner, Jonathan. A Lifting Argument for the Generalized Grigorieff Forcing. Notre Dame J. Formal Logic 57 (2016), no. 2, 221--231. doi:10.1215/00294527-3459833. https://projecteuclid.org/euclid.ndjfl/1452175099