On the consistency of local and global versions of Chang's Conjecture
Abstract
We show that for many pairs of infinite cardinals $\kappa > \mu^+ > \mu$, $(\kappa^{+}, \kappa)\twoheadrightarrow (\mu^+, \mu)$ is consistent relative to the consistency of a supercompact cardinal. We also show that it is consistent, relative to a huge cardinal that $(\kappa^{+}, \kappa)\twoheadrightarrow (\mu^+, \mu)$ for every successor cardinal $\kappa$ and every $\mu < \kappa$, answering a question of Foreman.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2016
- DOI:
- 10.48550/arXiv.1607.04904
- arXiv:
- arXiv:1607.04904
- Bibcode:
- 2016arXiv160704904E
- Keywords:
-
- Mathematics - Logic;
- 03E02;
- 03E35
- E-Print:
- Fixed a proof for Lemma 42