More about the cofinality and the covering of the ideal of strong measure zero sets

arXiv2304.12805MaRDI QIDQ6434262FDOQ6434262

Authors: Miguel A. Cardona, Diego Alejandro Mejía

Publication date: 25 April 2023

Abstract: We improve the previous work of Yorioka and the first author about the combinatorics of the ideal

m a t h c a l S N

of strong measure zero sets of reals. We refine the notions of dominating systems of the first author and introduce the new combinatorial principle

m a t h r m D S (d e l t a)

that helps to find simple conditions to deduce

m a t h f r a k d_{k} a p p a l e q m a t h r m c o f (m a t h c a l S N)

(where

m a t h f r a k d_{k} a p p a

is the dominating number on

k a p p a^{k} a p p a

). In addition, we find a new upper bound of

m a t h r m c o f (m a t h c a l S N)

by using products of relational systems and cardinal characteristics associated with Yorioka ideals. In addition, we dissect and generalize results from Pawlikowski to force upper bounds of the covering of

m a t h c a l S N

, particularly for finite support iterations of precaliber posets. Finally, as applications of our main theorems, we prove consistency results about the cardinal characteristics associated with

m a t h c a l S N

and the principle

m a t h r m D S (d e l t a)

. For example, we show that

m a t h r m c o v (m a t h c a l S N) < m a t h r m n o n (m a t h c a l S N) = m a t h f r a k c < m a t h r m c o f (m a t h c a l S N)

holds in Cohen model, and we refine a result (and the proof) of the first author about the consistency of

m a t h r m c o v (m a t h c a l S N) < m a t h r m n o n (m a t h c a l S N) < m a t h r m c o f (m a t h c a l S N)

, with

m a t h f r a k c

in any desired position with respect to

m a t h r m c o f (m a t h c a l S N)

, and the improvement that

m a t h r m n o n (m a t h c a l S N)

can be singular here.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Ordinal and cardinal numbers (03E10) Cardinal characteristics of the continuum (03E17)

This page was built for publication: More about the cofinality and the covering of the ideal of strong measure zero sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6434262)