幾乎分離力迫

幾乎分離力迫(almost disjoint forcing)一種力迫方法.是以幾乎分離集簇作為力迫概念的力迫方法

幾乎分離力迫(almost disjoint forcing)一種力迫方法.是以幾乎分離集簇作為力迫概念的力迫方法.設.}_ {Aa:aGmi}為一個。上的幾乎分離集簇(參見“幾乎分離集簇”),X為。，的任意子集.令P.}.,x= {p: p為函式八dom(p)C。八ran(g)={0,1}八daE X }dom(p)自Aa}<。八}{n:p(n)=1}!<m}，定義P.},、中的偏序關係鎮為:p}9，若且唯若p衛q.則以<只、，二，G>為力迫概念的力迫構造稱為幾乎分離力迫.幾乎分離力迫方法常被用在描述集合論中.該方法最初由美國學者馬丁(Martin , D. A. ) ,以色列學者索洛韋(Solovay, R. M. )、延森(Jensen,R.)等人所發明.