×

分区格的基数不变量。 (英语) Zbl 1034.03050号

如果\(X\)的每个成员是\(Y\)的一些成员的并集,那么\(\omega \)的所有分区集上都有一个自然顺序,即\(X\leq Y\)。为了模拟(ω)的子集上的阶(substeq)和(subsetq^*)(包含模有限集)之间的类比,作者在(ω。这些定义很自然。对于(ω)的两个分区(X)和(Y),如果(X)的每个成员(有限多个除外)是(Y)和(X\leq_2^*Y)的一些成员的并集,如果对于某个有限集(d)和每个(X中的X),(Y中的Y),则可以是(Y\set减去X\subsetq d)或(Y\cap X\substeq d)。结果表明,这四个阶都允许我们从中定义类似于\E.K.范杜文的论文[集理论拓扑手册,111-167(1984;Zbl 0561.54004号)]或J.沃恩的论文[发表于:拓扑学中的开放问题,195-218(1990;Zbl 0718.54001号)]. 本文的目的是研究这些类似的基数不变量。事实证明,不等式图的完全类比适用于(precq_1^*),MA或Cohen reals也有众所周知的效果。其余三个订单的情况略有不同,本文对此进行了完整的描述。

MSC公司:

03E05号 其他组合集理论
03E35号 一致性和独立性结果
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML