Consistency of separating the generalized null ideal from Cohen forcing
Consistency of separating the generalized null ideal from Cohen forcing
Let be a model and let be a sufficiently strong cardinal. Write for the forcing notion associated with the generalized null ideal and for the forcing adding a -Cohen real. The cardinal is the additivity of the corresponding ideal, and is the generalized bounding number.
Consistency conjecture. There exists a model such that
Since necessarily
this is equivalently the consistency assertion
The claim asks whether the Bartoszyński–Raisonnier–Stern inequality can consistently fail for a sufficiently strong cardinal. The supplied text gives no resolution.
Sources & referencesView supporting material
Primary source
Thomas Baumhauer, Martin Goldstern and Saharon Shelah, “The Higher Cichoń Diagram”, arXiv:1806.08583 (2018).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.