2016/09/18 by Fischer, Vera, Friedman, Sy D., Mejía, Diego A. +1
#03E15 #03E17 #03E35 #03E40 #03E45 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1609.05433
We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 values is consistent with the existence of a Δ13 well-order of the reals.