Coherent systems of finite support iterations

DOI10.1017/JSL.2017.20zbMATH Open1447.03013arXiv1609.05433OpenAlexW2964070547MaRDI 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)

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.

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

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

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)

Cites Work

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

Cited In (12)

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