×

理想(mathcal I_f)的覆盖数和均匀性。 (英语) Zbl 1100.03041号

小结:设(f,g\ in{^\omega\omega}\)。我们将用\(g\gg f \)表示,对于除有限个\(n)之外的每个\(k<ω\),\(f(n ^ k)\leq g(n)\)。(^\omega 2)上的理想({mathcal I}_f\)是集合(X)的集合,对于某些(g\ggf)和(tau\in\prod_{n<\omega}{^{g(n)}}2}),每个(X)满足无穷多(n)的(tau(n)子集X)。在本文中,我们证明了(text{cov}({mathcalI}_f)<{mathfrak-c})与非(({matchcalI}_v)<{mathfrak-c})的一致性。

MSC公司:

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

参考文献:

[1] 以及,集合论:关于实直线的结构(A.K.Peters,1995)。
[2] 反复强制。In:伦敦数学。Soc.87系列讲座笔记,第1-59页(剑桥大学出版社,1983年)。
[3] 安·鲍姆加特纳,数学。逻辑17第271页–(1979)
[4] Yorioka,J.符号逻辑67 pp 1373–(2002)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。