Was Sierpi\'nski right? IV

by Shelah. [Sh:546]
J Symbolic Logic, 2000
We prove for any mu = mu^{< mu}< theta < lambda, lambda large enough (just strongly inaccessible Mahlo) the consistency of 2^mu = lambda-> [theta]^2_3 and even 2^mu = lambda-> [theta]^2_{sigma,2} for sigma < mu . The new point is that possibly theta > mu^+ .


Back to the list of publications