Abstract
We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω1, and (ρ++,ρ+↠(ρ+, ρ), then 0+ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get:
Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K + ≧ω2 and (λ+, λ)↠(K +,K. Then 0+ exists.
Theorem B.Assume that there exists a singularcardinal κ such that(K +,K↠(ω1, ω0. Then 0+ exists.
Theorem C.Assume that (λ ++, λ). Then 0+ exists (also ifK=ω 0.
Remark. Here, as in the paper of Donder and Koepke, “O+ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model.
Theorem D.Assume that (λ ++, λ)↠(K +, K) and thatK≧ω 1. Then 0+ exists.
Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω 2, or that κ is inaccessible. We shall recall this in due place.
Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K +, K↠(ωn +1, ωn), for κ singular andn≧0. 0266 0152 V 3
The consistency of several statements of this sort—a prototype of which is (N ω+1,N ω)↠(ω1, ω0) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.
Similar content being viewed by others
References
J. Baumgartner,Ineffability properties of cardinals, II inLogic, Foundations of Mathematics and Computability Theory (Butts and Hintikka, eds.), D. Reidel Publ. Co., Dordrecht, Holland, pp. 87–106.
A. J. Dodd and R. B. Jensen,The core model, Ann. Math. Log.20 (1981), 43–75.
H.-D. Donder, R. B. Jensen and B. Koppelberg,Some applications of the core model, inSet Theory and Model Theory, Springer Lecture Notes, No. 872 (1981), pp. 55–97.
H.-D. Donder and P. Koepke,On the consistency strength of “accessible” Jonsson cardinals and of the weak Chang Conjecture, Ann. Pure Appl. Log.25 (1983), 233–261.
M. Foreman,Large cardinals and strong model theoretic transfer properties, Trans. Am. Math. Soc.272 (1982), 427–463.
J. Gregory,Higher Souslin trees and the generalised continuum hypothesis, J. Symb. Log.41 (1976), 663–671.
K. Kunen,Saturated ideals, J. Symb. Log.43 (1978), 65–76.
J.-P. Levinski,Filters and large cardinals, Ann. Pure Appl. Log., to appear.
F. Rowbottom,Some strong axioms of infinity incompatible with the axiom of constructibility, Ann. Math. Log.3 (1971), 1–44.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Levinski, JP. Instances of the Conjecture of Chang. Israel J. Math. 48, 225–243 (1984). https://doi.org/10.1007/BF02761166
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02761166