Coherent systems of finite support iterations
Logic
2017-03-30 v2
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\'n'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 well-order of the reals.
Cite
@article{arxiv.1609.05433,
title = {Coherent systems of finite support iterations},
author = {Vera Fischer and Sy D. Friedman and Diego A. Mejía and Diana C. Montoya},
journal= {arXiv preprint arXiv:1609.05433},
year = {2017}
}
Comments
27 pages, 3 figures. Accepted in the Journal of Symbolic Logic