Abstract
If ωn has the tree property for all 2 ≤ n < ω and <אω = אω, then for all X ∈ Hאω and n < ω, M#n(X) exists.
Original language | English |
---|---|
Pages (from-to) | 1837-1847 |
Number of pages | 11 |
Journal | Journal of Symbolic Logic |
Volume | 66 |
Issue number | 4 |
DOIs | |
State | Published - Dec 2001 |