Article ID Journal Published Year Pages File Type
6424822 Annals of Pure and Applied Logic 2012 10 Pages PDF
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
, ,