Matrix iterations with vertical support restrictions

DOI10.1142/9789813237551_0012arXiv1803.05102MaRDI QIDQ6299028FDOQ6299028

Diego Alejandro Mejía

Publication date: 13 March 2018

Abstract: We use coherent systems of FS iterations on a power set, which can be seen as matrix iteration that allows restriction on arbitrary subsets of the vertical component, to prove general theorems about preservation of certain type of unbounded families on definable structures and of certain mad families (like those added by Hechler's poset for adding an a.d. family) regardless of the cofinality of their size. In particular, we define a class of posets called $sigma$-Frechet-linked and show that they work well to preserve mad families, and unbounded families on $omeg{a}^{o}mega$. As applications of this method, we show that a large class of FS iterations can preserve the mad family added by Hechler's poset (regardless of the cofinality of its size), and the consistency of a constellation of Cicho'n's diagram with 7 values where two of these values are singular.

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Cardinal characteristics of the continuum (03E17)

This page was built for publication: Matrix iterations with vertical support restrictions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6299028)