Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424822 | Annals of Pure and Applied Logic | 2012 | 10 Pages |
Abstract
We show that for each non-scattered linear order ãL,<ã 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 Ï-closed forcing. If the equality sh(S)=âµ1 or PFA holds in the ground model, then the second iterand is forcing equivalent to the algebra P(Ï)/Fin of the Sacks extension.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
MiloÅ¡ S. KuriliÄ, Stevo TodorÄeviÄ,