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 |