Abstract
Under certain cardinal arithmetic assumptions, we prove that for every large enough regular λ cardinal, for many regular κ < λ, many stationary subsets of λ concentrating on cofinality κ has the "middle diamond". In particular, we have the middle diamond on {δ < λ: cf(δ) = κ}. This is a strong negation of uniformization.
| Original language | English |
|---|---|
| Pages (from-to) | 527-560 |
| Number of pages | 34 |
| Journal | Archive for Mathematical Logic |
| Volume | 44 |
| Issue number | 5 |
| DOIs | |
| State | Published - Jul 2005 |
Keywords
- Middle Diamond
- Normal ideals
- Set theory
- Weak Diamond