Coherent systems of finite support iterations

DOI10.1017/JSL.2017.20zbMATH Open1447.03013OpenAlexW2964070547MaRDI QIDQ4638985FDOQ4638985

Authors Vera Fischer, Sy-David Friedman, Diego Alejandro Mejía, D. C. Montoya

Publication date 2 May 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.05433

zbMATH Keywords

Cichoń's diagramfinite support iterations\(\Delta_3^1\) well-orders2D-coherent systems3D-coherent systems

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) Inner models, including constructibility, ordinal definability, and core models (03E45)

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 $Delt{a}_3^1$ well-order of the reals.

Recommendations

• Matrix iterations and Cichon's diagram
• Larger Cardinals in Cichon's Diagram
• Creature forcing and five cardinal characteristics in Cichoń's diagram
• Cardinal characteristics and projective wellorders
• More on proper forcing

Cites work

• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 797420 (Why is no real title available?)
• Cardinal characteristics and projective wellorders
• Cardinal characteristics, projective wellorders and large continuum
• Creature forcing and five cardinal characteristics in Cichoń's diagram
• Iterations of Boolean algebras with measure
• Larger Cardinals in Cichon's Diagram
• Mad families, splitting families and large continuum
• Matrix iterations and Cichon's diagram
• Measure, category and projective wellorders
• On a class of m.a.d. families
• On the cofinality of the splitting number
• Projective maximal families of orthogonal measures with large continuum
• Projective wellorders and mad families with large continuum
• Set theory. An introduction to independence proofs
• Short complete nested sequences in βN⧹N and small maximal almost-disjoint families
• Some Properties of Measure and Category
• Splitting, bounding, and almost disjointness can be quite different
• Template iterations with non-definable ccc forcing notions
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• The left side of Cichoń's diagram
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
• Ultrafilters with small generating sets

Cited in

(12)

• Cichoń's diagram and localisation cardinals
• MAD families and strategically bounding forcings
• Filter-linkedness and its effect on preservation of cardinal characteristics
• The ultrafilter and almost disjointness numbers
• Maximal almost disjoint families and pseudocompactness of hyperspaces
• On cardinal characteristics of Yorioka ideals
• Definable towers
• Cichoń's maximum without large cardinals
• Preservation of splitting families and cardinal characteristics of the continuum
• PARTITION FORCING AND INDEPENDENT FAMILIES
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• On the bounding, splitting, and distributivity numbers

This page was built for publication: Coherent systems of finite support iterations

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