Creature forcing and large continuum: the joy of halving

DOI10.1007/S00153-011-0253-8MaRDI QIDQ661287zbMATH OpenOpenAlexFDO

Authors Jakob Kellner, S. Shelah

Publication date 10 February 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

cardinal characteristicscreature forcingslaloms

Mathematics Subject Classification ID

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35)

Abstract: For $f,ginomeg{a}^{o}mega$ let $c^{f}oral{l}_{f,g}$ be the minimal number of uniform $g$-splitting trees needed to cover the uniform $f$-splitting tree, i.e., for every branch $u$ of the $f$-tree, one of the $g$-trees contains $u$. Let $c^{e}xist{s}_{f,g}$ be the dual notion: For every branch $u$, one of the $g$-trees guesses $u(m)$ infinitely often. We show that it is consistent that $c^{e}xist{s}_{f_{e}psilon,g_{e}psilon}=c^{f}oral{l}_{f_{e}psilon,g_{e}psilon}=kapp{a}_{e}psilon$ for continuum many pairwise different cardinals $kapp{a}_{e}psilon$ and suitable pairs $(f_{e}psilon,g_{e}psilon)$. For the proof we introduce a new mixed-limit creature forcing construction.

Review text

\textit{M. Goldstern} and the second author [Arch. Math. Logic 32, No. 3, 203--221 (1993; Zbl 0786.03030)] introduced cardinal characteristics of the form \(c^\forall(f,g)\) and \(c^\exists(f,g)\) defined as follows. Let \(f,g\in\omega^{\omega}\), an \(\left( f,g\right) \)-slalom is a sequence \(S=\left\langle S\left( n\right) :n\in\omega\right\rangle \) such that \(S\left( n\right) \subseteq f\left( n\right) \) and \(\left| S\left( n\right) \right| \leq g\left( n\right) \). A family \(\mathcal{S}\) of \(\left( f,g\right) \)-slaloms is a \(\left( \forall,f,g\right) \)-cover, if for all \(r\in\prod_{n\in\omega}f\left( n\right) \) there is \(S\in\mathcal{S}\) such that \(r\left( n\right) \in S\left( n\right) \) for all \(n\in\omega\). Also, a family \(\mathcal{S}\) of \(\left( f,g\right) \)-slaloms is a \(\left( \exists,f,g\right) \)-cover, if for all \(r\in\prod_{n\in\omega}f\left( n\right) \) there is \(S\in\mathcal{S}\) such that \(r\left( n\right) \in S\left( n\right) \) for infinitely many \(n\in\omega\). The minimal sizes of such covers are denoted by \(c_{f,g}^{\forall}\) and \(c_{f,g}^{\exists}\), respectively. In the paper under review the authors continue their work initiated in [J. Symb. Log. 74, No. 1, 73--104 (2009; Zbl 1183.03035)]. Here they introduce a new mixed-limit creature forcing construction to show that it is consistent that \(c^\forall(f,g)=c^\exists(f,g)=\kappa_\epsilon\) for continuum many pairwise different cardinals \(\kappa_\epsilon\) and suitable pairs \((f_\epsilon,g_\epsilon)\).

Recommendations

• Decisive creatures and large continuum
• Evading predictors with creatures
• Many different uniformity numbers of Yorioka ideals
• On a generalization of Jensen's □_κ, and strategic closure of partial orders
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• Even more simple cardinal invariants
• The strengths of some violations of covering
• On Foreman's maximality principle
• PARTITION FORCING AND INDEPENDENT FAMILIES
• Cofinality of the nonstationary ideal

Cites work

• Decisive creatures and large continuum
• Even more simple cardinal invariants
• scientific article; zbMATH DE number 797408 (Why is no real title available?)
• Many simple cardinal invariants
• Norms on possibilities. I. Forcing with trees and creatures

Cited in

(16)

• Preservation of splitting families and cardinal characteristics of the continuum
• Many different uniformity numbers of Yorioka ideals
• Specializing Aronszajn trees with strong axiom A and Halving
• Creature forcing and five cardinal characteristics in Cichoń's diagram
• Many different covering numbers of Yorioka's ideals
• On \(\mathrm{CON}(\mathfrak{d}_\lambda > \mathrm{cov}_\lambda(\mathrm{meagre}))\)
• Partition theorems from creatures and idempotent ultrafilters
• Decisive creatures and large continuum
• Norms on possibilities. I. Forcing with trees and creatures
• On cardinal characteristics of Yorioka ideals
• Forcing consequences of PFA together with the continuum large
• A friendly iteration forcing that the four cardinal characteristics of \mathcal E can be pairwise different
• Corrected iteration
• From creature forcing to Boolean ultrapowers
• Slalom numbers
• Many simple cardinal invariants

This page was built for publication: Creature forcing and large continuum: the joy of halving

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