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 -indescribable, the n-club subsets of κ provide a filter base for the -indescribability ideal, and hence can also be used to give a characterization of -indescribable sets which resembles the definition of stationarity: a set is -indescribable if and only if for every n-club . By replacing clubs with n-clubs in the definition of , one obtains a -like principle , a version of which was first considered by Brickhill and Welch [7]. The principle is consistent with the -indescribability of κ but inconsistent with the -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 holds. If κ is -indescribable and GCH holds then there is a cofinality-preserving forcing extension in which κ is -weakly compact, holds and every weakly compact subset of κ has a weakly compact proper initial segment. As an application, we prove that, relative to a -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 and of κ such that there is no for which both and are weakly compact.
中文翻译:
迫使类似□(κ)的原理保持在弱致密的基数上
Hellsten [17]证明当κ为难以描述的是,κ的n-club子集为-难以刻画的理想状态,因此也可以用来描述 -类似于平稳性定义的可描述集合:一个集合 是 -仅当且仅当- 每个n俱乐部。通过在定义中用n -clubs替换clubs,一个获得一个 类原则 ,Brickhill和Welch [7]首先考虑了其版本。原则 与 的-indescribability κ但与不一致的-indescribability κ。通过归纳标准强制添加序列,我们证明如果κ是-弱紧致且GCH保持不变,则存在保留余数的强制扩展,其中κ保留-紧凑且 持有。如果κ是-难以描述,并且GCH成立,则存在一个保留余数的强制扩展,其中κ为-体积小巧, 保持并且κ的每个弱紧致子集都有一个弱紧致的适当初始段。作为一种应用,我们证明,相对于-难以描述的基数,κ是一致的-弱紧致,κ的每个弱紧致子集都有一个弱紧致的适当初始段,并且存在两个弱紧致子集 和 的κ使得没有 对于两者 和 紧凑。