The ccc forcing limitation on clubsuit at the first uncountable cardinal

About 5 years old · traced to

Let V=LV=L. Let P\mathbb{P} be a ccc forcing notion and let G⊆PG\subseteq\mathbb{P} be generic. Write ♣S\clubsuit_S for the clubsuit principle associated with a stationary set S⊆ω1S\subseteq\omega_1. The ccc forcing limitation conjecture. If

2ω>ω12^\omega>\omega_1

in V[G]V[G], then ♣S\clubsuit_S fails in V[G]V[G] for some stationary set S⊆ω1S\subseteq\omega_1. The preceding discussion explains that this would show that the limitation on ccc forcing notions which increase the continuum and preserve clubsuit does not depend on large cardinals in the ground model; its status is not resolved in the supplied text.

References

Primary source

Shimon Garti, “List chromatic numbers and singular compactness”, arXiv:2111.11826 (2025).

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.