×

理想的基数{我}_{f} \)。 (英语) Zbl 1154.03029号

康托空间(2^ω)的子集(X)具有强测度零,如果对于每个正实序列({varepsilon_n}),存在一个基本开集序列({I_n},使得(X\substeq\bigcup_n I_n)和每个集(I_n,)具有直径(<varepsilen_n)。组合起来,这意味着对于每一个增加的\(h)在{mathbb{N}^mathbb}N}}\中,都有\(s_N\在2^{h(N)}\中),这样对于每个\(x在x中),\(s-N\)是\(x)的一个初始段,用于无限多\(N)。设(mathcal{SN})是(2^\omega)的所有强测度零子集的族。
T.约里奥卡[《强测度零理想的共终结性》,J.Symb.Log.67,第4期,1373–1384(2002;Zbl 1046.03028号)]通过引入理想的\(\mathcal)研究了\(\mathcal{SN}\)的余数{一} _(f)\)对于每个\(f \ in{mathbb{N}^\mathbb}N}}\),这样\(mathcal{SN}\substeq\mathcal{一} _(f)\)对于每个\(f\)。\(\mathcal的定义{一} _(f)\)具有与上面给出的类似的组合风格。
本文的目的是研究理想{一} _(f)\)为了他们自己。作者证明了(mathcal)存在(mathfrak{b})成员{一} _(f)\)其工会不在\(\mathcal{一} _(f)\),并且没有(mathcal)的共尾亚科{一} _(f)\)基数小于\(\mathfrak{d}\)。它们还提供了关于(mathcal)的可加性、覆盖性、均匀性和共终结性的一致性结果{一} _(f)\).

MSC公司:

03E17年 连续体的基本特征
03E35号 一致性和独立性结果
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Bartoszyñski,T.,Judah,H.:集合理论:关于真实线的结构。A.K.Peters,Ltd.,马萨诸塞州,美国(1995年)·Zbl 0834.04001号
[2] Kunen,K.:集合论。美国纽约州北荷兰(1980年)·Zbl 0443.03021号
[3] Osuga N.:理想的覆盖数和均匀性({{mathcal{I}}_f})。数学。逻辑问题52(4),351-358(2006)·Zbl 1100.03041号 ·doi:10.1002/malq.200610001
[4] Yorioka T.:强测度零理想的余终结性。J.符号。逻辑67(4),1373–1384(2002)·Zbl 1046.03028号 ·doi:10.2178/jsl/1190150290
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。