DETERMINACY AND JÓNSSON CARDINALS INL(ℝ)

Assume ZF + AD +V=L(ℝ) and letκ< Θ be an uncountable cardinal. We show thatκis Jónsson, and that if cof (κ) = ω thenκis Rowbottom. We also establish some other partition properties.

Jonsson-like partition relations and j: V → V

Working in the theory ”ZF + There is a nontrivial elementary embedding j : V → V“, we show that a final segment of cardinals satisfies certain square bracket finite and infinite exponent partition relations. As a corollary to this, we show that this final segment is composed of Jonsson cardinals. We then show how to force and bring this situation down to small alephs. A prototypical result is the construction of a model for ZF in which every cardinal μ ≥ ℵ2 satisfies the square bracket infinite exponent partition relation . We conclude with a discussion of some consistency questions concerning different versions of the axiom asserting the existence of a nontrivial elementary embedding j: V → V. By virtue of Kunen's celebrated inconsistency result, we use only a restricted amount of the Axiom of Choice.

Jónsson cardinals, Erdős cardinals, and the core model

We show that if there is no inner model with a Woodin cardinal and the Steel core model K exists, then every Jónsson cardinal is Ramsey in K, and every δ-Jónsson cardinal is δ5-Erdős in K.In the absence of the Steel core model K we prove the same conclusion for any model L[] such that either V = L[] is the minimal model for a Woodin cardinal, or there is no inner model with a Woodin cardinal and V is a generic extension of L[].The proof includes one lemma of independent interest: If V = L[A], where A ⊂ κ and κ is regular, then Lκ[A] is a Jónsson algebra. The proof of this result. Lemma 2.5, is very short and entirely elementary.

An AD-like model

A very fruitful line of research in recent years has been the application of techniques in large cardinals and forcing to the production of models in which certain consequences of the axiom of determinateness (AD) are true or in which certain “AD-like” consequences are true. Numerous results have been published on this subject, among them the papers of Bull and Kleinberg [4], Bull [3], Woodin [15], Mitchell [11], and [1], [2].Another such model will be constructed in this paper. Specifically, the following theorem is proven.Theorem 1. Con(ZFC + There are cardinals κ < δ < λ so that κ is a supercompact limit of supercompact cardinals, λ is a measurable cardinal, and δ is λ supercompact) ⇒ Con(ZF + ℵ1 and ℵ2 are Ramsey cardinals + The ℵn for 3 ≤ n ≤ ω are singular cardinals of cofinality ω each of which carries a Rowbottom filter + ℵω + 1 is a Ramsey cardinal + ℵω + 2 is a measurable cardinal).It is well known that under AD + DC, ℵ2 and ℵ2 are measurable cardinals, the ℵn for 3 ≤ n < ω are singular Jonsson cardinals of cofinality ℵ2, ℵω is a Rowbottom cardinal, and ℵω + 1 and ℵω + 2 are measurable cardinals.The proof of the above theorem will use the existence of normal ultrafilters which satisfy a certain property (*) (to be defined later) and an automorphism argument which draws upon the techniques developed in [9], [2], and [4] but which shows in addition that certain supercompact Prikry partial orderings are in a strong sense “homogeneous”. Before beginning the proof of the theorem, however, we briefly mention some preliminaries.