超滤器的可分解性与可能的共尾性之间的联系
摘要:多分之一定义了一个超滤器D的可分解性光谱KD = {λ ≥ ω | D是λ-可分解的},并且表明Shelah的pcf理论影响了KD可以取的可能值。例如,我们证明了如果aaa是一组正则基数,μ∈pcfa,超滤器D是|aaa|^+-完全的且KD⊆aaa,则μ∈KD。作为一个结果,我们证明了如果λ是奇异的,并且对于某个λ'<λ,KD包含所有位于[λ',λ)中的正则基数,则:(a) 如果cf λ = ω,则λ∈KD或λ^+∈KD;(b) 如果D是(cf λ)^+-完全的,则λ^+∈KD,且pp(λ) = λ^+。
作者:Paolo Lipparini
论文ID:math/0604191
分类:Logic
分类简称:math.LO
提交时间:2007-05-23