pith. sign in

arxiv: 1609.05433 · v2 · pith:MLRUZPPTnew · submitted 2016-09-18 · 🧮 math.LO

Coherent systems of finite support iterations

classification 🧮 math.LO
keywords diagramfiniteiterationssupportsystemsvaluesarrayscicho
0
0 comments X
read the original 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 $\Delta^1_3$ well-order of the reals.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.