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.



$\text{cov}(\mathcal{M})$ vs. $\mathfrak{b}$ vs. $\mathfrak{s}$
In Diego Mejía's reference (mentioned by Habic)


<http://arxiv.org/abs/1305.4739>


there are models for triples $(\kappa,\lambda,\mu)$ for 


1) $\mathfrak{s}=\kappa<\mathfrak{b}=\mathrm{cov}(\mathcal{M})=\lambda<\mathfrak{c}=\mu$,


2) $\mathfrak{s}=\mathfrak{b}=\kappa<\mathrm{cov}(\mathcal{M})=\lambda<\mathfrak{c}=\mu$.


These models are constructed by finite support iterations (fsi) of ccc forcings where $\kappa<\lambda$ are regular and $\lambda<\mu=\mu^{<\kappa}$.


There are other two models constructed by fsi of ccc posets:


3) $\mathfrak{b}=\kappa<\mathfrak{s}=\mathrm{cov}(\mathcal{M})=\lambda<\mathfrak{c}=\mu$.


Use Brendle-Fischer matrix iteration construction for $\mathfrak{b}=\mathfrak{a}=\kappa<\mathfrak{s}=\lambda$, but change the length of the iteration to $\mu\lambda$ (ordinal product), see Section 4 in


<http://projecteuclid.org/euclid.jsl/1294170995>


4) $\mathfrak{s}=\mathrm{cov}(\mathcal{M})=\aleph\_1<\mathfrak{b}=\kappa<\mathfrak{c}=\lambda$.


Start with a model of $\mathfrak{b}=\mathfrak{c}=\kappa$ and force with the random algebra to add $\mu$-many random reals side-by-side. This preserves the value of $\mathfrak{b}$, makes $\mathrm{non}(\mathcal{N})=\aleph\_1$ and $\mathrm{cov}(\mathcal{N})=\mathfrak{c}=\mu$.


