×

用可数紧紧空间的相干Souslin树和局部可数子空间强制。 (英语) Zbl 1329.54007号

本文主要从(罗马{PFA}(S)[S])证明了以下(技术)语句,表示为(总和):假设(X)紧且可数紧,设(Y)是大小为(aleph_1)的(X)的子集。也让两个序列,(langle V_\alpha:\alpha\in\omega_1\rangle)和(langle W_\alfa:\alfa\in\omega_1\range\),开集被给定,使得(上横线{W_\alpha}\substeq V_\α),(V_\阿尔法\cap Y\)是可数的,和(Y\substeq\bigcup_\alph W_\α。那么,\(Y\)在\(\bigcup_\alpha W_\ alpha\)中是\(\sigma\)-closed-discrete。
原理(roman{PFA}(S))是通过考虑(仅)保留一个固定Souslin树的适当偏序而获得的适当强制公理的一个版本,并且(roman}PFA}(S]\)是指通过对模型(roman(PFA)施加(S\)而获得的任何模型。
语句\(\sum\)是可数紧空间结构结果的许多证明的基础。本文还对这些结果和(罗马{PFA}(S)[S]\)的进一步背景进行了简要综述。

MSC公司:

54A25型 基数性质(基数函数和不等式、离散子集)
03E35号 一致性和独立性结果
03E57型 一般绝对性与强制公理
54A35型 一致性和独立性导致一般拓扑
54D20个 非紧覆盖性质(仿紧、Lindelöf等)
54天30分 压实度
54D55型 连续空格
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Balogh,Z.T.,Martin公理下的局部好空间,Comment。数学。卡罗尔大学。,24, 1, 63-87 (1983) ·Zbl 0529.54006号
[2] Balogh,Z.T,局部漂亮空间和Axiom R,Topol。申请。,125, 2, 335-341 (2002) ·兹比尔1031.54013
[3] Devlin,K.J.,《约克郡人的正确强迫指南》,(Mathias,A.R.D.,《集合论调查》,《集合理论调查》,伦敦数学学会,讲义系列,第87卷(1983年),剑桥大学出版社:剑桥大学出版社),60-115·Zbl 0524.03041号
[4] Kunen,K.,集合论(1980),《北荷兰:北荷兰阿姆斯特丹》·Zbl 0443.03021号
[5] Larson,P。;高,F.D.,局部紧完全正规空间可能都是仿紧的,Fundam。数学。,210, 285-300 (2010) ·Zbl 1211.54034号
[6] Larson,P。;Tall,F.D.,关于局部紧遗传正规空间的遗传仿紧性,Can。数学。公牛。,57, 579-584 (2014) ·Zbl 1303.54008号
[7] Larson,P。;Todorcevic,S.,Katětov的问题,Trans。美国数学。《社会学杂志》,3541783-1791(2002)·Zbl 0995.54021号
[8] Malyhin,V.,《关于空间乘积中的紧度和Souslin数》,Sov。数学。道克。,13, 496-499 (1972) ·Zbl 0257.54004号
[9] 宫本茂,T.,\(\omega_1\)-可数支持迭代下的Souslin树,Fundam。数学。,142257-261(1993年)·Zbl 0809.03037号
[10] Szentmiklóssy,Z.,Martin公理下的(S)-空间和(L)-空间,(拓扑,拓扑,1978)。拓扑结构。拓扑,1978年,Coll。数学。Janós Bolyai协会,第23卷(1980年),北荷兰:北荷兰阿姆斯特丹),1139-1145·Zbl 0463.54005号
[11] Tall,F.D.,\(PFA(S)[S]\):PFA和\(V=L\),Can的拓扑结果更加一致。数学杂志。,64, 1182-1200 (2012) ·Zbl 1256.54048号
[12] Tall,F.D.,(PFA(S)[S]\)和局部紧正规空间,Topol。申请。,162, 100-115 (2014) ·Zbl 1297.54015号
[14] Todorcevic,S.,用连贯的Souslin树强迫,Can。数学杂志。(2015),即将上市·兹比尔1329.54007
[16] Todorcevic,S.,《拓扑中的分区问题》,当代数学,第84卷(1989),美国数学学会:美国数学学会普罗维登斯,RI·兹比尔0659.54001
[17] Todorcevic,S.,《序数及其特征漫游》,《数学进展》,第263卷(2007年),Birkhäuser Verlag:Birkháuser Verlag Basel·Zbl 1148.03004号
[18] Watson,W.S.,可构造宇宙中的局部紧正规空间,Can。数学杂志。,34, 5, 1091-1096 (1982) ·Zbl 0502.54016号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。