Shelah's pcf conjecture for limits of limit cardinals

About 27 years old · traced to

Let μ\mu be a limit of limit cardinals, and let λ<μ\lambda<\mu range over arbitrarily large regular cardinals. Write ∀∗\forall^* for “for every large enough.” Shelah's pcf conjecture for limits of limit cardinals. For arbitrarily large regular λ<μ\lambda<\mu, we have

(∀∗μ1<μ)[cf⁡(μ1)=λ ⇒ pp⁡Γ(λ)(μ1)<μ].(\forall^*\mu_1<\mu)[\operatorname{cf}(\mu_1)=\lambda\ \Rightarrow\ \operatorname{pp}_{\Gamma(\lambda)}(\mu_1)<\mu].

The paper says this conjecture would simplify answers concerning universal objects and pcf theory; no resolution is supplied.

References

Primary source

Saharon Shelah, “On what I do not understand (and have something to say): Part I”, arXiv:math/9906113 (1999).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.