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.
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.