Coherent systems of finite support iterations

Vera Fischer,Sy D. Friedman,Diego A. Mejía,Diana C. Montoya
DOI: https://doi.org/10.48550/arXiv.1609.05433
2017-03-29
Abstract: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 $\Delta^1_3$ well-order of the reals.
Logic
What problem does this paper attempt to address?