Abstract
We prove for any μ = μ<μ < θ < λ, λ large enough (just strongly inaccessible Mahlo) the consistency of 2μ = λ → [θ]23 and even 2μ = λ → [θ]2σ,2 for σ < μ. The new point is that possibly θ > μ+.
| Original language | English |
|---|---|
| Pages (from-to) | 1031-1054 |
| Number of pages | 24 |
| Journal | Journal of Symbolic Logic |
| Volume | 65 |
| Issue number | 3 |
| DOIs | |
| State | Published - Sep 2000 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver