×

论约里奥卡理想的基本特征。 (英语) Zbl 1521.03156号

总结:T.约里奥卡[J.Symb.Log.67,第4期,1373–1384(2002年;Zbl 1046.03028号)]在Cantor空间上引入一类理想(由reals参数化),证明了连续统的大小与实线上强测度零理想的余终结性之间的关系在ZFC中是无法确定的。我们构造了c.c.c.偏序集的矩阵迭代,以强制该类中的许多理想,其相关的基数不变量(即可加性、覆盖性、一致性和余终结性)成对不同。此外,我们一致地证明了Yorioka理想的可加性和共有性与Lebesgue理想的可加性和共有性(分别)不一致,Lebesgue理想测量实线的零子集。

MSC公司:

2017年3月 连续体的基本特征
03E35号 一致性和独立性结果
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] T.Bartoszyñski和H.Judah,《集合论,关于实线的结构》(A.K.Peters,1995)·Zbl 0834.04001号
[2] A.Blass,《连续统的组合基本特征》,载于:集理论手册,第1卷,由M.Foreman(编辑)和A.Kanamori(编辑)编辑(Springer,2010),第395-489页·Zbl 1198.03058号
[3] A.Blass和S.Shelah,《带小型发电机组的超滤器》,以色列。《数学杂志》65(3),259-271(1989)·兹伯利0681.03033
[4] J.Brendle,《Cichon’s diagram中的较大基数》,J.Symb。Log.56(3),795-810(1991)·Zbl 0758.03021号
[5] J.Brendle和V.Fischer,《疯狂家族,分裂家族和大连续体》,J.Symb。Log.76(1),198-208(2011)·Zbl 1215.03061号
[6] J.Brendle和D.A.MejíA,《零散理想中的Rothberger缺口》,基金。数学227(1),35-68(2014)·Zbl 1341.03066号
[7] A.Dow和S.Shelah,关于分裂数的共终结性,Indag。数学29(1),382-395(2018)·Zbl 1436.03260号
[8] T.Eisworth,单数基数的继任者,收录于:集理论手册,第2卷,由M.Foreman(编辑)和A.Kanamori(编辑)编辑(Springer,2010),第1229-1350页·Zbl 1198.03049号
[9] A.Fischer、M.Goldstern、J.Kellner和S.Shelah,《生物强迫和Cichon图中的五个基本特征》,Arch。数学。日志56(7-8),1045-1103(2017)·Zbl 1404.03040号
[10] V.Fischer、S.D.Friedman、D.A.MejíA和D.C.Montoya,有限支持迭代的相干系统,J.Symba。Log.83(1),208-236(2018)·兹比尔1447.03013
[11] M.Goldstern、J.Kellner和S.Shelah,CichońS maximum,Ann.Math.190(1),113-143(2019)·Zbl 1493.03008号
[12] M.Goldstern、D.A.MejíA和S.Shelah,《Cichon图的左侧》,Proc。阿默尔。数学。Soc.144(9),4025-4042(2016)·Zbl 1431.03064号
[13] M.Goldstern和S.Shelah,许多简单的基数不变量,Arch。数学。日志32(3),203-221(1993)·Zbl 0786.03030号
[14] T.Jech,《集合论》,第三版,《Springer数学专著》(Springer,2003)·Zbl 1007.03002号
[15] H.Judah和S.Shelah,《Kunen‐Miller图》(勒贝格测度、Baire性质、Laver reals和强制保存定理),J.Symb。Log.55(3),909-927(1990)·Zbl 0718.03037号
[16] A.Kamburelis,带测度布尔代数的迭代,Arch。数学。Log.29(1),21-28(1989)·Zbl 0687.03032号
[17] S.Kamo和N.Osuga,理想的基数{I} f(_f)\),建筑。数学。日志47(7-8),653-671(2008)·Zbl 1154.03029号
[18] S.Kamo和N.Osuga,《尤里奥卡理想的许多不同覆盖数字》,Arch。数学。日志53(1‐2),43-56(2014)·Zbl 1315.03086号
[19] A.S.Kechris,经典描述集理论,数学研究生教材第156卷(Springer,1995)·Zbl 0819.04002号
[20] J.Kellner和S.Shelah,《决定性生物和大连续体》,J.Symb。Log.74(1),73-104(2009)·Zbl 1183.03035号
[21] J.Kellner和S.Shelah,《生物强迫和大连续体:减半的乐趣》,《拱门》。数学。日志51(1‐2),49-70(2012)·Zbl 1259.03063号
[22] K.Kunen,《集合论,独立性证明导论》,《逻辑研究与数学基础》第102卷(北荷兰,1980年)·Zbl 0443.03021号
[23] D.A.MejíA,具有不可定义c.c.c.强制概念的模板迭代,Ann.Pure Appl。Log.166(11),1071-1109(2015)·Zbl 1373.03090号
[24] D.A.MejíA,《具有垂直支持限制的矩阵迭代》,载于:2015年1月5日至8日和2017年7月10日至14日在印度孟买和韩国大田举行的第14届和第15届亚洲逻辑会议论文集,由B.Kim(编辑)、J.Brendle(编辑)、G.Lee(编辑)、F.Liu(编辑)、R.Ramanujam(编辑)、S.M.Srivastava(编辑)、A.Tsuboi(编辑)编辑,和L.Yu(编辑)(世界科学,2019),第213-248页·Zbl 1419.03006号
[25] D.A.MejíA,矩阵迭代和Cichon图,Arch。数学。日志52(3-4),261-278(2013)·Zbl 1270.03087号
[26] A.W.Miller,测度和范畴的一些性质,Trans。阿默尔。数学。《社会学杂志》第266(1)、93-114(1981)页·Zbl 0472.0304号
[27] N.Osuga,理想的覆盖数和均匀性{一} _(f)\),数学。日志。问题52(4),351-358(2006)·Zbl 1100.03041号
[28] N.Osuga,与强测度零理想相关的某些理想的基本不变量,Ky oo to Daigaku Sürikaiseki Kenkyásho K ookyároku1619,83-90(2008)。
[29] J.Pawlikowski,用(ω^ω)边界偏序集添加支配实域,J.Symb。日志57(2),540-547(1992)·Zbl 0767.03027号
[30] A.Rinot,关于Milner‐Sauer猜想的一致性强度,Ann.Pure Appl。日志140(1-3),110-119(2006)·Zbl 1089.03042号
[31] P.Vojtáš,广义Galois‐Tukey‐实分析经典对象上显式关系之间的联系,见:实域集合理论,1991年1月在巴伊兰大学举行的冬季研究所会议记录,由H.Judah编辑(编辑),以色列数学会议论文集第6卷(巴伊兰大学,1993年),第619-643页·Zbl 0829.03027号
[32] 尤里奥卡,强测度零理想的余终结性,J.Symb。Log.67(4),1373-1384(2002)·Zbl 1046.03028号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。