拉西奥娃-西科尔斯基引理
在公理集合論中，拉西奧娃-西科爾斯基引理（）是力迫使用的技巧中最基本的事實之一，該引理以海倫娜·拉西奧娃和為名。 引理內容 在力迫的領域中，若說偏序集\left(P, \le \right)的子集E在P中稠密，就表示對於任意的p \in P而言，有e \in E使得e \le p；而若D是P的稠密子集的集族，那麼在滿足以下條件的狀況下，就稱P中的濾子F是D－的： :F \cap E \ne \empty , \forall E \in …
标签：#力迫
共 3 篇文章
力迫
在数学学科集合论中，力迫是保罗·寇恩（Paul J. Cohen）发明的一种技术，用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前，它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层（ramified hierarchy）上，难于理解。1960年代通过（Solovay）与斯科特（Scott）等人的努力力迫法被…
可數鏈條件
在序理論中，若一個偏序集X的所有都是可數的，則說X滿足可數鏈條件（Countable chain condition），而可數鏈條件又記做ccc。 綜觀 實際上可數鏈條件有兩種，一種是上升可數鏈條件（upwards countable chain condition），一種是下降可數鏈條件（downwards countable chain condition），這兩個條件並不等價，而一般而言可數鏈條件指的是下降可數鏈條件，換句話說也就…