Dice Question Streamline Icon: https://streamlinehq.com

Preservation under the Laver property: keeping cov(E_{I,ε}) small

Investigate whether forcing notions satisfying the Laver property necessarily preserve small values of the covering number cov(E_{I,ε}) for all pairs (I, ε) with I a partition of ω into finite nonempty intervals and ε ∈ ℓ^1_+.

Information Square Streamline Icon: https://streamlinehq.com

Background

It is known that forcing notions with the Laver property do not increase the covering of the σ-ideal E (generated by closed null sets). Given the parallels established in the paper between E and the layered ideals E_{I,ε}, it is natural to ask whether the same preservation holds for E_{I,ε}.

A positive answer would yield robust preservation theorems for the covering numbers of these refined ideals under a broad class of proper, bounding forcings.

References

We discuss some open questions from this study. With regard to~\autoref{cichonext} and items~\ref{cohen}-\ref{miller}, we do not know the following. Do forcing notions satisfying the Laver property keep $(E_{I,\varepsilon})$ small?

Cardinal characteristics associated with small subsets of reals (2405.11312 - Cardona et al., 18 May 2024) in Section Open Questions