Chang's conjecture may fail at supercompact cardinals (submitted)

Bernhard Koenig

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(κ^+,κ)\notcc(\aleph\_1…