×

\弱紧性的(P_{\kappa}\lambda\)-推广。 (英语) Zbl 0559.03033号

我们研究了(P_{\kappa}\lambda\)的两个不可约性,它们可以看作是弱紧性的(P_}\kappa}\lampda\)-推广。设\(\kappa\)是一个不可数的正则基数,\(\lambda\)是基数\(\geq\kappa \)\对于每一个((A_x:\)\(P_{\kappa}\lambda)\),(\kappa)被称为温和的\(\lambda\)-不可表达的iff,使得\(P_(P_x)中的所有x(A_x子集x),(存在A\子集\ lambda x=A\cap x))\(\kappa\)被称为对每一个\(f_x:\)\(x\ in P_{\kappa}\lambda)\)具有\(\lambda\)-Shelah属性iff,这样\(对于P_{\ kappa}\lampda中的所有x\(f:x\ to x)\),((存在f:\lambd\to\lambda)f_y|x=f|x)\)。在即将发表的论文[“(P_{\kappa}\lambda'’’的不可约性的结构]中,我们提供了这些和其他不可约性质的理想理论刻画,并证明了上述两个概念对于任意(\lamba>\kappa)是不可证等价的。本文利用树性质的(P_{\kappa}\lambda\)推广和(P_}\kappa}\lampda\)滤波器扩展性质来刻画它们。此外,我们证明了(lambda)-Shelah性质等价于由J.E.鲍姆加特纳[“将弱紧性推广到(\(\kappa\),\(\lambda)\)上下文”(手写注释)](if\(lambda^{<\kappa}=\lambda\))。

MSC公司:

03E55型 大型红衣主教
PDF格式BibTeX公司 XML格式引用
全文: 内政部