Advanced Search

It is consistent that $${\aleph }_1<\mathrm{add}\left(𝒩\right)<\mathrm{add}\left(ℳ\right)=𝔟<\mathrm{cov}\left(𝒩\right)<\mathrm{non}\left(ℳ\right)<\mathrm{cov}\left(ℳ\right)=2^{{\aleph }_0}.$$ Assuming four strongly compact cardinals, it is consistent that $$\begin{array}{ccc}\hfill {\aleph }_1& <\mathrm{add}\left(𝒩\right)<\mathrm{add}\left(ℳ\right)=𝔟<\mathrm{cov}\left(𝒩\right)<\mathrm{non}\left(ℳ\right)\hfill & \hfill <\mathrm{cov}\left(ℳ\right)<\mathrm{non}\left(𝒩\right)<\mathrm{cof}\left(ℳ\right)=𝔡<\mathrm{cof}\left(𝒩\right)<2^{{\aleph }_0}.\end{array}$$