当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Forcing a □(κ)-like principle to hold at a weakly compact cardinal
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2021-02-23 , DOI: 10.1016/j.apal.2021.102960
Brent Cody , Victoria Gitman , Chris Lambie-Hanson

Hellsten [17] proved that when κ is Πn1-indescribable, the n-club subsets of κ provide a filter base for the Πn1-indescribability ideal, and hence can also be used to give a characterization of Πn1-indescribable sets which resembles the definition of stationarity: a set Sκ is Πn1-indescribable if and only if SC for every n-club Cκ. By replacing clubs with n-clubs in the definition of (κ), one obtains a (κ)-like principle n(κ), a version of which was first considered by Brickhill and Welch [7]. The principle n(κ) is consistent with the Πn1-indescribability of κ but inconsistent with the Πn+11-indescribability of κ. By generalizing the standard forcing to add a (κ)-sequence, we show that if κ is κ+-weakly compact and GCH holds then there is a cofinality-preserving forcing extension in which κ remains κ+-weakly compact and 1(κ) holds. If κ is Π21-indescribable and GCH holds then there is a cofinality-preserving forcing extension in which κ is κ+-weakly compact, 1(κ) holds and every weakly compact subset of κ has a weakly compact proper initial segment. As an application, we prove that, relative to a Π21-indescribable cardinal, it is consistent that κ is κ+-weakly compact, every weakly compact subset of κ has a weakly compact proper initial segment, and there exist two weakly compact subsets S0 and S1 of κ such that there is no β<κ for which both S0β and S1β are weakly compact.



中文翻译:

迫使类似□(κ)的原理保持在弱致密的基数上

Hellsten [17]证明当κΠñ1个难以描述的是,κn-club子集为Πñ1个-难以刻画的理想状态,因此也可以用来描述 Πñ1个-类似于平稳性定义的可描述集合:一个集合 小号κΠñ1个-仅当且仅当- 小号C每个n俱乐部Cκ。通过在定义中用n -clubs替换clubsκ,一个获得一个 κ类原则 ñκ,Brickhill和Welch [7]首先考虑了其版本。原则ñκΠñ1个的-indescribability κ但与不一致Πñ+1个1个的-indescribability κ。通过归纳标准强制添加κ序列,我们证明如果κκ+-弱紧致且GCH保持不变,则存在保留余数的强制扩展,其中κ保留κ+-紧凑且 1个κ持有。如果κΠ2个1个-难以描述,并且GCH成立,则存在一个保留余数的强制扩展,其中κκ+-体积小巧, 1个κ保持并且κ的每个弱紧致子集都有一个弱紧致的适当初始段。作为一种应用,我们证明,相对于Π2个1个-难以描述的基数,κ是一致的κ+-弱紧致,κ的每个弱紧致子集都有一个弱紧致的适当初始段,并且存在两个弱紧致子集小号0小号1个κ使得没有β<κ 对于两者 小号0β小号1个β 紧凑。

更新日期:2021-03-09
down
wechat
bug