Club Chang's Conjecture

Publication date 24 September 2018

Abstract: Chang's Conjecture (CC) asserts that for every

F : [o m e g a_{2}]^{< o m e g a} o o m e g a_{2}

, there exists an

X

that is closed under

F

such that

| X | = o m e g a_{1}

and

| X c a p o m e g a_{1} | = o m e g a

. By classic results of Silver and Donder, CC is equiconsistent with an

o m e g a_{1}

-Erdos cardinal. Using stronger large cardinal assumptions (between

o (k a p p a) = k a p p a^{+}

and

o (k a p p a) = k a p p a^{+ +}

), we prove that it is consistent to also require that

X

contains a closed unbounded set of ordinals in

e x t s u p (X c a p o m e g a_{2})

. We denote this stronger principle extbf{Club-CC}, and also show that, unlike CC, Club-CC implies failure of certain weak square principles.

This page was built for publication: Club Chang's Conjecture