逻辑论文 (10-10)

　　引理2.10。假设A ⊆ 稀 有是 uB和M是一个A-关闭中医 ZFC的。

　　让α t以至于M 是可数的并且A-关闭d英寸Vα.假设X ≺ Vα 是可数的{m，A，S，T}∈ X，在哪里T 和S 阿肯色州e tre我们见证了A是ω₁-uB，还有普 通 是及物c的折叠X. 然后，对于每一次强迫概念P∈M 每一个普通-通用滤波器g ⊆ P，M[g]∩A ∈ M [g].

　　注意：╞/符号是与╞（满足符）不同的符号，因为无法打出满足符(╞)的“/”划线符号，所以用此（╞/）“/”符号来代替，正规的（╞）“/”划线符号的代表作用！

　　举个例子：如[＝]符号，与划线的符号[≠]形成鲜明的区分，划“/”符号的形式表现！

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。