Dice Question Streamline Icon: https://streamlinehq.com

Consistency of Cichoń’s Maximum with cov(M) < non(M)

Determine whether Cichoń’s Maximum with cov(M) < non(M) is consistent with ZFC (possibly under large cardinal assumptions).

Information Square Streamline Icon: https://streamlinehq.com

Background

The notes point out that no instance of Cichoń’s Maximum exhibiting cov(M) < non(M) is currently known to be consistent with ZFC. Establishing such a model would complement the known cases with non(M) < cov(M).

This question invites an explicit consistency proof (or refutation) for the configuration cov(M) < non(M) within the full separation of Cichoń’s characteristics.

References

On the other hand, no instance of Cicho n's maximum with $\cov(M) < \non(M)$ is known to be consistent with ZFC. Is Cicho n's maximum with $\cov(M) < \non(M)$ consistent with $ZFC$ (even under large cardinals)?

— Forcing techniques for Cichoń's Maximum: Lecture notes for the mini-course at the University of Vienna (2402.11852 - Mejía, 19 Feb 2024) in Section on Boolean ultrapowers, immediately after the question on the two remaining constellations