*Here, "measure" always means Lebesgue measure on $\mathbb{R}$. This question is partly motivated by my answer https://math.stackexchange.com/questions/1444498/is-there-a-categorizaiton-system-for-null-quantities/1444524#1444524.*

Some measure zero sets are more measure zero than others:

A set $X\subseteq\mathbb{R}$ is

*strong measure zero*if for any sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by intervals with $\mu(I_n)<\epsilon_n$.A set $X\subseteq\mathbb{R}$ is

*microscopic*if for any sequence $(\epsilon_i)_{i\in\mathbb{N}}$ of positive reals where for some positive real $\delta$ we have $\epsilon_i=\delta^{i+1}$, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by intervals with $\mu(I_n)<\epsilon_n$.Etc. (See e.g. http://www.sav.sk/journals/uploads/0721132912Horbac.pdf.)

More generally, if $F$ is a family of functions from $\mathbb{N}$ to $\mathbb{R}_{>0}$, say $X\subseteq\mathbb{R}$ is *$F$-microscopic* if for every $f\in F$, there is a cover $\{I_n: n\in\mathbb{N}\}$ of $X$ by open intervals such that $\mu(I_n)<f(n)$. To measure *how* null a given null set is, we can look at its *scope* (I'm not sure what this is actually called, I couldn't find a reference to it): $scope(X)=\{f: \mathbb{N}\rightarrow\mathbb{R}_{>0}: X\text{ is $\{f\}$-microscopic}\}.$ This leads to a natural preorder on the set of null subsets of $\mathbb{R}$: $$X\le_{null}Y\iff scope(X)\subseteq scope(Y).$$

My question is:

What does the resulting degree structure $\mathfrak{N}=(Null/\equiv_{null}, \le_{null})$ look like?

I'm particularly interested in the extent to which set-theoretic hypotheses such as large cardinals or forcing axioms are relevant; based on the fact that even when just studying strong measure zero sets, set-theoretic hypotheses become important, I suspect there is in fact some relevance.

**Comment 1**: Arguably my definition of "scope" is wrong, and we should instead look at something slightly more well-behaved, like $\{f: X\text{ is $\{\alpha f: \alpha\in\mathbb{R}_{>0}\}$-microscopic}\}$ or similarly. If tweaking the definition of scope would lead to a better result, feel free to do so.

**Comment 2**: Of course we can work in much more generality than $\mathbb{R}$ with Lebesgue measure, but already this case seems really interesting.

EDIT: It seems like a good first step would be to try to understand forcings which add sets of a prescribed scope. Ideally, this could be used to prove e.g. that it's consistent that there are null sets with incomparable scopes.

The following forcing notion might be a good first try. For $F$ a set of functions from $\mathbb{N}$ to $\mathbb{R}_{>0}$, let $\mathbb{P}_F$ be the set of ordered pairs $(D, C)$ where

$D$ is a countable set of reals, and

$C$ is a finite set of infinite families of intervals $\mathcal{C}_{f_0}, . . . ,\mathcal{C}_{f_n}$ where $f_i\in F$ and each $\mathcal{C}_{f_i}=\{I_n^{f_i}: n\in\mathbb{N}\}$ satisfies $\mu(I_n^{f_i})<f_i(n)$, such that

$D\subseteq \bigcap_{\mathcal{C}_{f_i}\in C} (\bigcup_{n\in\mathbb{N}} I_n^{f_i})$, and

the set $\bigcap_{\mathcal{C}_{f_i}\in C} (\bigcup_{n\in\mathbb{N}} I_n^{f_i})$ has positive measure (to prevent the forcing from being trivial).

ordered by $(D, C)\le (D', C')$ if $D\supseteq D'$ and $C\supseteq C'$. Forcing with $\mathbb{P}_F$ yields a set of reals which is uncountable, and is $F$-microscopic. It also, unfortunately, does a fair bit of damage to the ground reals. A countably closed forcing would be nicer, but it's not clear to me how to make that work without accidentally building a set of strong measure zero.

Classifying sets of measure zero with respect to their open covers. Laflamme wrote at least two more papers related to this, and you can find earlier work by Frechet, Zenon Moszner, Léonard Urbanek, Claude Tricot, Frédéric Roger, and some others. (I have a bibliography on this topic if you're interested.) $\endgroup$ – Dave L Renfro Sep 21 '15 at 21:59