Chang's conjecture and powers of singular cardinals

In [2] Galvin and Hajnal showed, as a corollary to a more general result, that if , is a strong limit cardinal, then . They established similar bounds for powers of singular cardinals of cofinality greater than ω. Jech and Prikry in [3] showed that the Galvin-Hajnal bound can be improved if we assume that ω 1 carries an ω 2 saturated ω 1 complete, nontrivial ideal. (See [7] for definitions), namely: under the given assumption provided is a strong limit cardinal. In this paper we show that the same conclusion can be derived from Chang's Conjecture (see below) which is, at least consistencywise, a weaker assumption than the existence of an ω 2 saturated ideal on ω 1 . We do not know if assumptions like these are necessary for obtaining the result. Our notations and terminology should be understood by any reader acquainted with set theory. Chang's Conjecture is the following model theoretic assumption introduced by C. C. Chang: which is deciphered as follows: Every structure 〈 A, R ,…〉 in a countable type where ∣ A ∣ = ω 2 , R ⊆ A , ∣ R ∣ = ω 1 has an elementary substructure: 〈 A ′, R ′,…〉 where ∣ A ′∣ = ω 1 and ∣ R ′∣ = ω 0 . The consistency of Chang's Conjecture modulo the existence of Ramsey cardinals is claimed in [5].