On the strong equality between supercompactness and strong compactness
On the strong equality between supercompactness and strong compactness
复制标题
论超紧性与强紧性的强等式
DOI:
--
复制
发表时间:
1995
期刊:
影响因子:
--
通讯作者:
S. Shelah
中科院分区:
文献类型:
--
作者:
Arthur W. Apter;S. Shelah
We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Speciflcally, we show that if V j= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and coflnality preserving generic extension V (G)j= ZFC + GCH in which, (a) (preserva- tion) for •• ‚ regular, if V j= • is ‚ supercompact", then V (G)j= • is ‚ supercompact" and so that, (b) (equivalence) for •• ‚ regular, V (G)j= • is ‚ strongly compact" ifi V (G)j= • is ‚ supercompact", except possibly ifis a measurable limit of cardinals which are ‚ supercompact.