Consistency of separating generalized null additivity from partial-slalom additivity

About 8 years old · traced to

Let κ\kappa be the cardinal in the generalized slalom setting. Write add⁡(Qκ)\operatorname{add}(\mathbb Q_\kappa) for the additivity of the generalized null ideal and add⁡partial⁡(κ)\operatorname{add}^{\operatorname{partial}}(\kappa) for the additivity characteristic defined using partial slaloms. For h∈κκh\in\kappa^\kappa, write add⁡(h-slalom⁡)\operatorname{add}(h\operatorname{-slalom}) for the additivity associated with total hh-slaloms.

Partial-slalom separation conjecture.

CON⁡(add⁡(Qκ)>add⁡partial⁡(κ)).\operatorname{CON}\bigl(\operatorname{add}(\mathbb Q_\kappa)>\operatorname{add}^{\operatorname{partial}}(\kappa)\bigr).

In particular,

CON⁡((∀h∈κκ) add⁡(Qκ)>add⁡(h-slalom⁡)).\operatorname{CON}\bigl((\forall h\in\kappa^\kappa)\ \operatorname{add}(\mathbb Q_\kappa)>\operatorname{add}(h\operatorname{-slalom})\bigr).

Moreover, the assertion that some total-slalom characteristic always agrees with generalized null additivity is not a theorem of ZFC:

(∃h∈κκ) add⁡(Qκ)=add⁡(h-slalom⁡)(\exists h\in\kappa^\kappa)\ \operatorname{add}(\mathbb Q_\kappa)=\operatorname{add}(h\operatorname{-slalom})

is not a ZFC theorem. These claims refine the preceding observation that the partial-slalom answer is negative and formulate the desired separation for total slaloms. The supplied text gives no resolution.

References

Primary source

Thomas Baumhauer, Martin Goldstern and Saharon Shelah, “The Higher Cichoń Diagram”, arXiv:1806.08583 (2018).

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.