×

强测度零理想的余终结性。 (英语) Zbl 1046.03028号

强测度理想(mathcal S\mathcal N)是一组(X\subset\mathbb R),其中(对于所有语言变量I_N:N<omega\rangle)是一个正实序列(存在语言I_N:N<omega)是一系列具有(X\sSubsteq\bigcup_{N\omega}I_N)和每个(mu(I_N,=varepsilon_N)的开区间。本文主要研究基数不变量Cov((mathcal S\mathcal N),其中Cov([mathcal S \mathcalN)=inf\{|mathcal A|:mathcal A \ subset \ mathcal S-mathcal N])和(mathcalS \ mathcal-N中的所有B;在mathcalA中存在A\;B\ subsetq A\})。两个主要定理是:
定理。假设CH.Cov\((mathcal S\mathcal N)=\mathfrak d_{\omega_1}\)。
这里,\(\mathfrak d_{\kappa}\)是\(^{\kappa}\kappa \)的支配数,即\(\mathfrak 2_{\kappa}=\inf\{|F|:F\子集^{\kappa}\ kappa)和\;g(β)\leq F(β)\)\(对于所有β>\alpha\)。
定理。Cov(((mathcal S\mathcal N)<2^{\omega})是一致的。
这两个定理都以不同的方式得到了推广,第二个结果的模型的Cov((mathcal S mathcal N))也严格大于(mathcalS mathcalN)的其他常用基数不变量。

MSC公司:

03E17年 连续体的基本特征
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 数学座谈会57第203页–(1989)
[2] 集合论:关于实线的结构(1995)
[3] 法国社会数学公报47第97页–(1919)
[4] 集合论:独立性证明导论102(1980)·Zbl 0443.03021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。