Let me first recall some pretty standard notations:
- $\text{cov}(\mathcal{M})$ is the covering number of the ideal $\mathcal{M}$ of all meager subsets of $\mathbb{R}$;
- $\mathfrak{b}$ is the bounding number;
- $\mathfrak{s}$ is the splitting number.
It is well-known that there are no relations in ZFC between those numbers. For example, the classical results state that the following inequalities are relatively consistent:
- $\omega_1=\mathfrak{s}<\mathfrak{b}=\omega_2$ (Balcar-Pelant-Simon '80);
- $\omega_1=\mathfrak{b}<\mathfrak{s}=\omega_2$ (Shelah '84);
- $\omega_1=\text{cov}(\mathcal{M})<\mathfrak{b}=\omega_2$ (Bartoszyński '96);
- $\omega_1=\mathfrak{b}<\text{cov}(\mathcal{M})=\omega_2$ (Miller '81).
However, I cannot find any quite straightforward consistency results concerning relations between $\mathfrak{s}$ and $\text{cov}(\mathcal{M})$, so I would be very grateful if you could provide me any references for them.
And what I am in fact interested the most are results showing that for any reasonable (whatever that means) triple $(\kappa,\lambda,\mu)$ of uncountable cardinals and a cardinal $\nu$ greater than any from the triple, there is a model of ZFC for which $\mathfrak{s}=\kappa,\mathfrak{b}=\lambda,\text{cov}(\mathcal{M})=\mu,\nu=2^\omega$. I am aware that such general models may still be unknown (provided they do exist at all), so partial results are also welcome.
I need those results to be referred to in a paper, so I am mainly interested in references where one can find proofs.
Thank you very much for any answer and please accept my apologies if the question is irrelevant for MO or my post contains mistakes.