I'm studying some applications of small cardinals related to the Michael's Problem. Recall that we say that a space $X$ is a Michael space if X is a regular Lindelöf space such that $X\times \omega^\omega$ is not Lindelöf, and the question of whether such a space can be constructed without additional axioms is what we call the Michael's Problem.

Now, in this paper, the authors prove a theorem (*cf.* **Theorem 2.4** of the paper) that gives sufficient conditions for a space $X$ to be non-productively Lindelöf. Then, they use the Theorem 2.4 to obtain Michael spaces under some hypotheses related to small cardinals.

Given a family $\mathscr{F}\subseteq\omega^\omega$, we call the $\mathscr{F}$-**topology** over $\omega^\omega$ the smallest topology that contains the usual one and is such that each $K_f:=\{g\in\omega^\omega:g\leq f\}$ for $f\in\mathscr{F}$ is open ($g\leq f$ iff $g(n)\leq f(n)$ for all $n\in\omega$).

The idea is to assure that the $\mathscr{F}$-topology satisfies the hypotheses of Theorem 2.4, from which the existence of a Michael space follows as a corollary. Since my questions are about some technical conditions, I won't explicit the Theorem 2.4.

Question 1 (related to **Propositions 3.2** and **3.3** of the paper). How to prove that "If $\mathscr{F}$ is a dominating family, then $\{K_f:f\in\mathscr{F}\}$ is an open cover for $\omega^\omega$ with the $\mathscr{F}$-topology"?

This is obvious if we consider $\mathscr{F}$ dominating with respect to $\leq$, but I don't see how to prove it if $\mathscr{F}$ is dominating with respect to $\leq^*$ ($f\leq^* g$ iff $f(n)\leq g(n)$ for all but finitely many $n\in\omega$). The problem is that when they assume $\frak{d}=\omega_1$ (which it yields $\frak{b}=\frak{d}$), they use a scale as the family $\mathscr{F}$, and such a scale is dominating with respect to $\leq^*$. So, I suppose that "should be possible" to prove that $\{K_f:f\in\mathscr{F}\}$ is an open cover when $\mathscr{F}$ is dominating in $(\omega^\omega,\leq^*$), or, given a scale $\mathscr{F}$ with respect to $\leq^*$ one can construct a scale $\mathscr{F}$ dominating in $(\omega^\omega,\leq)$.

Question 2 (related to **Proposition 3.6** of the paper). How to prove that "if $\frak{b}=\frak{d}=$ $cov (\mathcal{M})$, then there exists a strong scale, *i.e.*, there exists a well ordered family $\{f_{\alpha}:\alpha<\frak{d}\}$ such that for every $f\in\omega^\omega$ there is an $\alpha<\frak{d}$ such that $f\leq f_\alpha$"?

Since $\omega_1\leq\frak{b}\leq\frak{d}$ and $\omega_1\leq cov(\mathcal{M})\leq\frak{d}$, an answer for this question also answers Question 1.

Thank you.