当前位置: X-MOL 学术J. Math. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The consistency strength of hyperstationarity
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2019-07-22 , DOI: 10.1142/s021906132050004x
Joan Bagaria 1 , Menachem Magidor 2 , Salvador Mancilla 3
Affiliation  

We introduce the large-cardinal notions of [Formula: see text]-greatly-Mahlo and [Formula: see text]-reflection cardinals and prove (1) in the constructible universe, [Formula: see text], the first [Formula: see text]-reflection cardinal, for [Formula: see text] a successor ordinal, is strictly between the first [Formula: see text]-greatly-Mahlo and the first [Formula: see text]-indescribable cardinals, (2) assuming the existence of a [Formula: see text]-reflection cardinal [Formula: see text] in [Formula: see text], [Formula: see text] a successor ordinal, there exists a forcing notion in [Formula: see text] that preserves cardinals and forces that [Formula: see text] is [Formula: see text]-stationary, which implies that the consistency strength of the existence of a [Formula: see text]-stationary cardinal is strictly below a [Formula: see text]-indescribable cardinal. These results generalize to all successor ordinals [Formula: see text] the original same result of Mekler–Shelah [A. Mekler and S. Shelah, The consistency strength of every stationary set reflects, Israel J. Math. 67(3) (1989) 353–365] about a [Formula: see text]-stationary cardinal, i.e. a cardinal that reflects all its stationary sets.

中文翻译:

超平稳性的一致性强度

见文字]-难以形容的红衣主教。这些结果推广到所有后继序数 [公式:见正文] Mekler-Shelah [A. Mekler 和 S. Shelah,每个固定集的一致性强度都反映了,Israel J. Math。67(3) (1989) 353–365] 关于[公式:见正文]-平稳基数,即反映其所有平稳集的基数。
更新日期:2019-07-22
down
wechat
bug