加载中…
Let be the -ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of after finite support iterations. This is applied to force that the four cardinal characteristics associated with are pairwise different: Furthermore, we construct a forcing extension satisfying the above and Cichoń’s maximum (i.e.\ that the non-dependent values in Cichoń’s diagram are pairwise different).

生成讲解博客的中文版本

生成AI智能校验的中文版本