PARTITION FORCING AND INDEPENDENT FAMILIES
Open Access
- 3 October 2022
- journal article
- research article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 88 (4), 1590-1612
- https://doi.org/10.1017/jsl.2022.68
Abstract
We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of cof(N) = a = u = i < a(T) = omega(2). In addition, we show that Shelah's poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of cof(N) = a = i = omega(1) < u = a(T) = omega(2).Keywords
This publication has 46 references indexed in Scilit:
- Projective wellorders and mad families with large continuumAnnals of Pure and Applied Logic, 2011
- Descriptive set theory and definable forcingMemoirs of the American Mathematical Society, 2004
- Combinatorics of dense subsets of the rationalsFundamenta Mathematicae, 2004
- Filter games on ω and the dual idealFundamenta Mathematicae, 2002
- Cohen-stable families of subsets of integersThe Journal of Symbolic Logic, 2001
- Another ♦-like principleFundamenta Mathematicae, 2001
- Con(u>i)Archive for Mathematical Logic, 1992
- Sacks forcing and the total failure of Martin's AxiomTopology and its Applications, 1985
- Mapping a set of reals onto the realsThe Journal of Symbolic Logic, 1983
- Some properties of measure and categoryTransactions of the American Mathematical Society, 1981