Template iterations with non-definable ccc forcing notions

DOI10.1016/J.APAL.2015.06.001zbMATH Open1373.03090arXiv1305.4740OpenAlexW1485621054MaRDI QIDQ490863FDOQ490863

Authors: Diego Alejandro Mejía 

Publication date: 21 August 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $kappa$ is a measurable cardinal and $heta<kappa<mu<lambda$ are uncountable regular cardinals, then there is a ccc poset forcing $mathfraks=heta<mathfrakb=mu<mathfraka=lambda$. Another application is to get models with large continuum where the groupwise-density number $mathfrakg$ assumes an arbitrary regular value.

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

Recommendations

• Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\)
• Forcing in stable models of untyped \(\lambda\)-calculus
• C.c.c. forcing without combinatorics
• Weak determinacy and iterations of inductive definitions
• On non-wellfounded iterations of the perfect set forcing
• Equivalents of the finitary non-deterministic inductive definitions
• Template iterations and maximal cofinitary groups
• Iterated forcing and elementary embeddings
• Generics for computable Mathias forcing
• Proving finiteness of CCS processes by non-standard semantics

zbMATH Keywords

cardinal invariantsiterated forcing along a template

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Cardinal characteristics of the continuum (03E17) Large cardinals (03E55)

Cites Work

• Title not available (Why is that?)
• Set theory. An introduction to independence proofs
• Invariants of measure and category
• Bounding, splitting, and almost disjointness
• Combinatorial Cardinal Characteristics of the Continuum
• Mad families, splitting families and large continuum
• Splittings
• Title not available (Why is that?)
• Adjoining dominating functions
• Mob families and mad families
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
• Ultrafilters with small generating sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• Iterations of Boolean algebras with measure
• Matrix iterations and Cichon's diagram
• Some Properties of Measure and Category
• Larger Cardinals in Cichon's Diagram
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Coherent systems of finite support iterations
• Filter-linkedness and its effect on preservation of cardinal characteristics
• Increasing the groupwise density number by c.c.c. forcing
• The ultrafilter and almost disjointness numbers
• MAD families and strategically bounding forcings
• The consistency of b=κ and s=κ⁺
• A friendly iteration forcing that the four cardinal characteristics of $\mathcal E$ can be pairwise different
• On cardinal characteristics of Yorioka ideals
• PARTITION FORCING AND INDEPENDENT FAMILIES

This page was built for publication: Template iterations with non-definable ccc forcing notions

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