Chang's conjecture with __1, 2 from an _1-Erdős cardinal

Abstract: Answering a question of Sakai, we show that the existence of an

o m e g a_{1}

-ErdH{o}s cardinal suffices to obtain the consistency of Chang's Conjecture with

s q u a r e_{o m e g a_{1}, 2}

. By a result of Donder this is best possible. We also give an answer to another question of Sakai relating to the incompatibility of

s q u a r e_{l a m b d a, 2}

and

(l a m b d a^{+}, l a m b d a) w o h e a d r i g h t a r r o w (k a p p a^{+}, k a p p a)

for uncountable

k a p p a

.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Chang's conjecture with \(\square_{\omega_1, 2}\) from an \(\omega_1\)-Erdős cardinal