Template iterations with non-definable ccc forcing notions

DOI10.1016/J.APAL.2015.06.001MaRDI QIDQ490863zbMATH OpenOpenAlexFDO

Authors Diego Alejandro Mejía

Publication date 21 August 2015

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

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

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)

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.

Recommendations

• Iteration of \(\lambda\)-complete forcing notions not collapsing \(\lambda^+\)
• Forcing in stable models of untyped -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

Cites work

• scientific article; zbMATH DE number 5510475 (Why is no real title available?)
• scientific article; zbMATH DE number 3933058 (Why is no real title available?)
• scientific article; zbMATH DE number 4118358 (Why is no real title available?)
• scientific article; zbMATH DE number 1827956 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 797413 (Why is no real title available?)
• Adjoining dominating functions
• Bounding, splitting, and almost disjointness
• Combinatorial Cardinal Characteristics of the Continuum
• Invariants of measure and category
• 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
• Mob families and mad families
• Set theory. An introduction to independence proofs
• Some Properties of Measure and Category
• Splittings
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
• Ultrafilters with small generating sets

Cited in

(9)

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