zbMATH — the first resource for mathematics

Forcing by non-scattered sets. (English) Zbl 1250.03102
Summary: We show that for each non-scattered linear order \(\langle L,<\rangle\) the set of non-scattered subsets of \(L\) ordered by the inclusion is forcing-equivalent to the two-step iteration of the Sacks forcing and a \(\sigma\)-closed forcing. If the equality \(\mathrm{sh} (\mathbb S) =\aleph_1\) or PFA holds in the ground model, then the second iterand is forcing-equivalent to the algebra \(P(w)/\mathrm{Fin}\) of the Sacks extension.

03E40 Other aspects of forcing and Boolean-valued models
03E35 Consistency and independence results
06A05 Total orders
Full Text: DOI
[1] Carlson, T.; Laver, R., Sacks reals and martin’s axiom, Fund. math., 133, 2, 161-168, (1989) · Zbl 0704.03035
[2] Farah, I., Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Mem. amer. math. soc., 148, 702, (2000) · Zbl 0966.03045
[3] Farah, I., Analytic Hausdorff gaps II. the density zero ideal, Israel J. math., 154, 235-246, (2006) · Zbl 1130.03032
[4] Hrušák, M.; Zapletal, J., Forcing with quotients, Arch. math. logic, 47, 7-8, 719-739, (2008) · Zbl 1171.03029
[5] Simon, P., Sacks forcing collapses \(\mathfrak{c}\) to \(\mathfrak{b}\), Comment. math. univ. carolin., 34, 4, 707-710, (1993) · Zbl 0797.03053
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.