Consistency of separating generalized null additivity from partial-slalom additivity

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 addpartial(κ)\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κ)>addpartial(κ)).\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.

Sources & referencesView supporting material

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.