Weak diamond and pcf theory

Shimon Garti
2024-05-06
Abstract:We obtain bounds on the cardinality of $pcf(\mathfrak{a})$ from instances of weak diamond. Consequently, under mild assumptions there are many singular cardinals of the from $\aleph_\delta$ for which $2^{\aleph_\delta}<\aleph_{(|\delta|^{+3})}$. For example, if every limit cardinal is a strong limit cardinal then this bound holds at a class of singular cardinals.
Logic
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about a specific aspect in the singular cardinals problem. Specifically, the author Shimon Garti aims to improve the bound proposed by Shelah in 1994: \[ 2^{\aleph_\delta} < \aleph_{|\delta|+4} \] This result of Shelah was obtained under the assumption that \(\aleph_\delta\) is a strongly limit singular cardinal. Garti's goal is to improve the upper bound from \(|\delta| + 4\) to \(|\delta| + 3\), that is, to prove: \[ 2^{\aleph_\delta} < \aleph_{|\delta|+3} \] To achieve this goal, Garti makes use of the weak diamond principle and pcf theory. The following is an overview of the main content of the paper: 1. **Background Introduction**: - Weak Diamond Principle: A prediction principle, which is weaker than the standard Diamond Principle but still can provide useful information. - pcf theory: Used to study some problems in cardinal arithmetic, especially when dealing with singular cardinals. 2. **Main Results**: - Under certain assumptions, such as every limit cardinal is a strongly limit cardinal, a class of singular strongly limit cardinals \(\aleph_\delta\) can be found such that: \[ 2^{\aleph_\delta} < \aleph_{|\delta|+3} \] - These assumptions are relatively weak, and the author believes that the main result can be proved within the ZFC framework. 3. **Technical Tools**: - **Club Guessing Theorem**: This is derived through the Galvin property and helps to reduce the gap between the weak diamond principle and pcf theory. - **Galvin property**: If certain conditions are met, a tighter club - guessing sequence can be obtained through it, thus improving the upper bound of pcf. 4. **Conclusions and Prospects**: - The author shows how to use the weak diamond principle and club guessing to improve Shelah's bound and proposes a conjecture: In any ZFC model, there exists a class of strongly limit singular cardinals \(\aleph_\delta\) satisfying: \[ 2^{\aleph_\delta} < \aleph_{|\delta|+3} \] In summary, the core problem of this paper is to improve the upper - bound estimation in the singular cardinals problem, especially to improve Shelah's \(|\delta| + 4\) to \(|\delta| + 3\). By introducing new tools in the weak diamond principle and pcf theory, the author has made this progress.