COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS

DOI10.1017/jsl.2017.20zbMath1447.03013arXiv1609.05433OpenAlexW2964070547MaRDI QIDQ4638985

Sy-David Friedman, Vera Fischer, Diana Carolina Montoya, Diego A. Mejía

Publication date: 2 May 2018

Published in: The 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) Inner models, including constructibility, ordinal definability, and core models (03E45) Cardinal characteristics of the continuum (03E17) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (12)

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

Cites Work

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

This page was built for publication: COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS