arxiv: v1 [math.lo] 16 Jan 2019

Transcription

1 arxiv: v [math.lo] 6 Jan 209 Stably measurable cardinals P.D. Welch School of Mathematics, University of Bristol, Bristol, BS8 TW, England December 27, 208 Abstract We define a weak iterability notion that is sufficient for a number of arguments concerning Σ -definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of κ: u 2 (κ), and secondly to give the consistency strength of a property of Lücke s. Theorem: The following are equiconsistent: (i) There exists κ which is stably measurable ; (ii) for some cardinal κ, u 2 (κ)=σ(κ); (iii) TheΣ -club property holds at a cardinal κ. Here σ(κ) is the height of the smallest M Σ H(κ + ) containing κ+ and all of H(κ). Let Φ(κ) be the assertion: X Ê r Ê[X is Σ (κ,r )-definable X Σ 3 (r )]. Theorem: Assume κ is stably measurable. Then Φ(κ). And a form of converse: Theorem: Suppose there is no sharp for an inner model with a strong cardinal. Then in the core model K we have: κφ(κ) is (set)-generically absolute There are arbitrarily large stably measurable cardinals. When u 2 (κ)<σ(κ) we give some results on inner model reflection. Introduction There are a number of properties in the literature that fall in the region of being weaker than measurability, but stronger than 0 #, and thus inconsistent with the universe being that of the constructible sets. Actual cardinals of this nature have been well known and are usually of ancient pedigree: Ramsey cardinals, Rowbottom cardinals, Erdős cardinals, and the like (cf. for example, [6]). Some concepts are naturally not going to prove the existence of such large cardinals, again for example, descriptive set theoretical properties which are about V ω+ do not establish the existence of such large cardinals but rather may prove the consistency of large cardinal properties in an inner model. Weak generic absoluteness results, perhaps again only about Ê, may require some property such as closure of sets under # s, or more, throughout the whole universe. An example of this is afforded by admissible measurability (defined below):

2 Theorem([4] Theorem 4, Lemma ) Let Ψ be the statement: D ω (D is universally Baire r ω(d L[r ])). If K is the core model then Ψ K is (set)-generically absolute if and only if there are arbitrarily large admissibly measurable cardinals in K. This is a very weak property: weaker than an ω -Erdős, but certainly stronger than For any set X On, X exists (thus indeed stronger than, say, two step Σ 3-generic absoluteness - see [4]). Essentially it is often an assertion about the density of the mouse order in some, or alternatively arbitrarily large, H(κ). This is also the guiding spirit behind the notions of stable measurability defined here. In [7] and [8] the authors study, in essence, Σ -definable properties of a regular cardinal κ in various forms: whether there is a Π (κ) definition of the club filter on κ for example, or whether Σ (κ)-definable subsets of κ enjoy some kind of homogeneity property, such as that from [7] defined below at.23. The theorems of the abstract involve a strengthening of admissible measurability to stable measurability. This allows us an exact calibration of the strength of Lücke sσ -club property. It also allows minor improvements in the assumptions of certain theorems from [8]. Stable measurability, whilst being ostensibly about Σ -definable subsets of κ, and whether an iterable measure can be put on the least stable set, is really something about the bounded subsets of κ. It says something about the strength of the mouse order in H(κ) (the class of sets hereditarily of cardinality less than κ), or relatedly, the size of the least uniform indiscernible above κ for bounded subsets of κ. In the core model K, (at least below 0 pi st ol ) it is literally saying that the mouse order has length up to the least Σ stable ordinal σ(κ) as defined in this context. As theσ -club property turns out to be equivalent to stable measurability, it too, although phrased in terms of homogeneity properties of simply defined functions on κ, or subsets of κ, is in turn capable of being viewed as being actually about bounded subsets of κ. Note: By premouse or mouse we mean that in the modern sense: see [6]. By a Dodd- Jensen mouse (or D J-mouse) we mean that of [2]. We do not need many details of the latter: simply that they are similar to the levels of L[µ] where the levels are defined as in simple relativised constructibility from a predicate µ. A D J-mouse then is a structure of the form Jα U,,U = U is a normal measure on κ with wellfounded iterated ultrapowers. Another required feature of a D J-mouse M is that there is always a new subset of the measurable cardinal κ definable over M. Consequently there is always also a definable onto map f : κ Jα U. The Dodd-Jensen core model K D J can be thought of as an L[E] hierarchy whose initial segments are all sound mice in the usual fashion, or alternatively as simply the union of the older D J- mice. These universes are the same. Whenever the K D J model is mentioned, for fixity we shall assume the former, modern, now standard, presentation. In K D J there is a natural method of comparison of D J-mice in H(κ): iterate them all κ times, and the union thus obtained is the Q-structure at κ, and is of the form Q = Q(κ)=(J F κ θ,,f κ) for some ordinal θ(κ) where F κ is the cub filter on κ, but which is an amenable iterable measure on Q. This is a useful structure to work with even if it does not conform to the modern notion of mouse. With sufficiently many s in H(κ), θ(κ) can be (but is not always) the second uniform 2

3 indiscernible for bounded subsets of κ. But if it is then the critical points of the iterates of Q enumerate precisely these uniform indiscernibles. All of this is in K the core model. However here in this paper we also step out of K and look at generalizations Q(κ) (Def..9) and similar characterisations that now generate the uniform indiscernibles in V. Roughly speaking the greater the ordinal height of Q(κ) (corresponding to the earlier ordinal height θ(κ) of Q(κ) in K ) the stronger the iterability properties instantiated in H(κ). If we approach from the other direction and ask if any subsets of κ (rather than bounded subsets of κ) can be put in sufficiently closed iterable structures (M,,U ) (think of putting any subset of κ in a transitive κ-sized models M = <κ M with a wellfounded ultrapower map j : M N to get weak compactness) then we get a notion of iterable cardinal. This is of course weaker than measurability, but it is also weaker than Ramseyness ([] Lemma 5.2) which requires (as Mitchell [0], Jensen [3] showed) not just that (M,,U ) be iterable but that additionally U be ω-closed. Several of the theorems of [7], [8] use as an iterability assumption that κ be an iterable cardinal. We observe here that instead one needs only something weaker: that a Σ -substructure N of H(κ + ) be itself placed in such an iterable (M,,U ). This is the notion of being (Σ )-stably measurable. That this is not just some minor improvement resides in the fact that some of the properties turn out to be equiconsistent to stable measurability, or even equivalent in a canonical inner model such as K D J. Theorem 2.6 (V = K D J ) σ(κ)=u 2 (κ) κ has theσ -club property κ is stably measurable. Our theorem in the analogous form to that which began this introduction is spread over the following two statements. We have: Theorem 3. Let Φ(κ) be the following sentence: Φ(κ) : X Ê r Ê[X is Σ (κ,r )-definable X Σ 3 (r )]. Assume κ is stably measurable. Then Φ(κ) holds. In one sense we have an equivalence: Theorem 3.3 Assume V = K D J. κ is stably measurable Φ(κ) is preserved by small forcings of size < κ. Corollary 3.6 Assume V = K D J (or V = K st r ong ). Then κφ(κ) is (set)-generically absolute if and only if there are arbitrarily large stably measurable cardinals. Our theme in essence is to tease out the implications between the notions of stable measurability, good Σ (κ)-wellorders, and the length of the mouse order when working in L[E] models, or, when in V, the height of the Q(κ)-structure which contains all the κ th iterates of coarse mouse-like objects in H(κ). 3

4 In the final section we make some comments on inner model reflection by identifying the least L[E] models which reflect Π n sentences into their inner models. Such a model is then not pinned down by such a sentence (with ordinal parameters allowed). This phenomenon occurs before stable measurability, and can be seen to happen when u 2 (κ)<σ(κ), but the mouse order is sufficiently long to be beyond admissible measurability.. Stable Measurability Definition. We say that N is a κ-model if: Trans(N ), κ N and <κ N N. Definition.2 Let ω < κ Reg. Then κ is Σ n -stably measurable if, for some transitive M Σn H(κ + ) with M H(κ) {κ}, there is a κ-model N M and a filter F with (N,,F ) = F is a normal measure on P(κ) so that (N,,F ) is amenable, and it is iterable, that is, has wellfounded ultrapowers by the measure F and its images. We say that (M and) (N,,F ) witnesses Σ n -stable measurability. The above is by way of analogy with the notion of admissibly measurable which was coined in [4]. This required only that M be the least transitive admissible set containing H(κ) {κ} and again with an appropriate filter F with wellfounded ultrapowers. In the above if n = we just refer to stable measurability. Definition.3 We say that is a good Σ (p)-wellorder of P(κ) if as a binary relation has a Σ (p) H(κ+) definition (in some parameter p H(κ + ), and so that the set of all initial segments {z x P(κ) z = {y y x}} is a Σ (p) H(κ+) set. Note: (i) if there is a good Σ H(κ+ ) ({κ, p}) wellorder of P(κ), (for some p H(κ)) we can define Σ -Skolem functions in the usual manner and more readily define such an M. In some L[E] models this will be the case, and we shall use below the example of the Dodd-Jensen core model K = K DJ. (ii) For Σ -stability (n = ) we shall show that we can take N as an M which is itself a Σ elementary substructure. If N,, F witnesses stable measurability at κ, we should just emphasise that without additional requirements, we cannot assume that it is an iterable premouse of any form of the usual definition(s) of premouse. (iii) If κ is Σ -stably measurable then it is easily seen to be a Mahlo cardinal. (If there is a C κ a cub set of singular cardinals, then there is such in M Σ H(κ + ). Now as M is in some iterable N if j : N N is the first ultrapower of N by the N -normal measure, then κ j (C ) is singular in N which leads to a contradiction.) (iv) Just using the increased elementarity available it is easy to see that for any n 2 that Σ n -stable measurability is equivalent to iterability. Hence we shall mostly be interested in Σ - stable measurability (and drop the Σ ). Definition.4 We set σ=σ(κ)=on M to be the least ordinal which is the height of a transitive M with M Σ H(κ + ) and M H(κ) {κ}. We shall remark below that our definition of stable measurability will ensure that there is such an M as a least Σ -substructure of (H(κ + ), ) containing H(κ) {κ}, even in the absence of some canonical wellorder, or canonically chosen skolem functions, for H(κ + ). 4

5 Definition.5 Let M 0 = M 0 (κ)= df {A A κ {A} is a Σ (κ, p)-singleton set for some p H(κ)}. In the above we could have written {A} is to be a Σ H(κ+ ) (κ, p)-singleton, by Levy-absoluteness. Definition.6 (i) For A κ let σ A = df the least σ>κ such that L σ [A] Σ H(κ + ) L[A]. (ii) M = M(κ)= df A M 0 L σa [A]. (iii) M = M (κ)= df {Lσa [a] a γ<κ, a exists}. The last definitions might seem peculiar at first glance, but they are suitable for analysing certain sets when we do not assume a goodσ (κ)-wellorder of P(κ). M can be thought of as an approximation to a Σ -substructure of H(κ + ). Add a goodσ (κ)-wellorder and it will be (see Lemma.8 below). Moreover stable measurability of κ will imply (Lemma.5) that M = M. It is this last equality that prompts the idea that Σ -stability of M is really about the bounded subsets of κ. Lemma.7 Every x M is coded by some B M 0. Proof: Fix an x M; there is thus some A M 0, α < σ A, with x L α [A]. Standard reasoning shows that there are arbitrarily large β < σ A with J A = κ is the largest cardinal and so β+ that there is a Σ J A β+ (A,κ) definable function f : κ J A. We may further assume that T, the β+ Σ -Th(J A β+,, A) coded as a subset of κ is in fact a Σ (κ, A, q) singleton, for some q H(κ), and hence a Σ ( κ, p, q ) -singleton where {A} Σ (κ, p). (This is because we can take T as the unique Σ -Theory of a level in the L[A] hierarchy where some Σ sentence ψ(q) about some q L κ [A] first becomes true.) But then from the theory T we obtain f and then may define TC({x}), = B 0 = df { ξ0,ξ f (ξ 0 ) f (ξ ) f (ζ) } for some ζ < κ, if {x} J A β+. Coding B 0 by Gödel pairing as subset of κ, B, we have {B} Σ ( κ, p, q,ζ ) and so B M0 as required. Lemma.8 Suppose there is a good Σ H(κ+ ) (κ, p) wellorder of P(κ) for some p H(κ). Then M Σ H(κ + ). Proof: Using the good wellorder we have Σ -skolem functions for H(κ + ), which are themselves Σ H(κ +). Suppose that we have for each Σ v 0 ϕ(v 0, v ) a skolem function f ϕ so that for all A κ if there is u so that ϕ(u, A) then H(κ + ) = ϕ(f ϕ (A), A) holds. Suppose that v 0 ϕ(v 0, A) holds with A M 0. Then we may assume that the witness u is itself a subset of κ which is a Σ (κ, A) singleton. This is because every set in H(κ + ) has cardinality there less than or equal to κ; given the good wellorder, we thus have for every u there is a least, in the sense of the wellorder, subset of κ, U say, that codes a u that witnesses ϕ(u, A). Then {U } is a Σ (κ, A, p)- singleton, and so U M 0 M. Putting this together we have that ( v 0 ϕ(v 0, A)) M..2 On Q Definition.9 Let Q(κ) denote: {Nκ N κ is the κ th iterate of some amenable iterable N,,U H(κ)} 5

6 Under the hypothesis of the next lemma we shall have that Q is rud. closed. Lemma.0 Suppose all bounded subsets of κ have sharps. Then M (κ)= Q(κ). Additionally any X P(κ) Q either contains or is disjoint from a set cub in κ. Proof: ( ): If x Q then for some a= N, U H(κ), x N κ. But N κ L σa. So x M. ( ): Let x L σa [a] P(κ) some a H(κ). As a exists, let N a be the a mouse. Then L κ [a] (N a ) κ where κ = (κ + ) L[a]. As σ a < κ, x (N a ) κ Q. This shows that any such x will be disjoint from, or contain a tail of the cub set of the sequence of iteration points of N a. Lemma. Suppose all bounded subsets of κ have sharps. Then (i) Q is rudimentary closed; (ii) Q,F κ is amenable and iterable, with F κ Q a Q-normal ultrafilter. Proof: (i) As the rudimentary functions have as a generating set a finite set of binary functions ([5]), it suffices by the last lemma, since each L σa [a] is rud. closed (it is an admissible set), to show that if X,Y Q, that there is c a bounded subset of κ with X,Y L σc [c]. By our supposition any a H(κ) is a member of the least a-mouse generating a, N a, and moreover L σa [a] Nκ a, the κ th iterate of N a. But then it is trivial that if {X } N a and {Y } N b then {X,Y } N a b Q as L σa [a] L σb [b] L σa b [a b]. For (ii): That F κ measures P(κ) Q is the last corollary. For amenability just note that any Z ν ν<κ L σa [a] is again in Nκ a,f κ Nκ a. But the latter structure is amenable, (this is true of any a-mouse) and so {ν Z ν F κ } Nκ a Q. Normality of F κ Q in Q is similar, and iterability follows from the countable closure of F κ. For notation we set I c, the closed and unbounded class of Silver indiscernibles for L[c], to be enumerated as ι c α α On for c a set of ordinals. Definition.2 Suppose for every bounded subset b of κ, b # exists. Then set More generally: u 2 (κ)=sup{ι b κ+ b a bounded subset of κ}. u ι (κ) 0< ι On enumerates in increasing order {I b b a bounded subset of κ} Then this is by way of analogy for the second uniform indiscernible for the reals, but now for bounded subsets of κ. By the same arguments as for reals, u 2 (κ) is also sup{κ +L[b] b H(κ) P(κ)}. Indeed, as is well known, for any successor ι + : u ι+ = sup{u ι +L[b] b a bounded subset of κ}=sup{ι b u ι + b a bounded subset of κ}. It is an exercise in the use of sharps to add to this that u 2 (κ)=sup{σ b b a bounded subset of κ}. The size of u 2 (κ) with reference to κ, gives, roughly speaking, the length of the mouse order on H(κ). Indeed in L[E] models (at least below a strong cardinal) this can be made precise. Thus the next lemma interpreted in for example, the Dodd-Jensen core model K DJ, is declaring the length of the mouse order restricted to H(κ) there, as somewhat long. In fact it will turn out to be maximal for this model. 6

7 Lemma.3 Suppose that H(κ) is closed under sharps. Then the critical points of the iterated ultrapowers of Q,F κ are the uniform indiscernibles u ι (κ) 0<ι On. Moreover if Q α,f α α On is the iteration of Q,F = Q,F κ, with iteration maps j α,β ( α<β On), and critical points λ α ( α On) then u α (κ) = λ α () u α+ (κ) = Q α On (2) Proof: First we note that as Q,F κ = Q,F is a rudimentary closed structure, we can prove a Los Theorem for its ultrapowers and the usual result for such a structure that it is a Σ 0 preserving embedding which is cofinal (that is if k : Q,F κ Ul t ( Q,F κ ), and if π : Ul t ( Q,F κ ) ( Q 2,F 2 ) is the transitive collapse map, then taking j = j,2 = π k we have that x Q 2 y Q(x j (y))). Thus j is in fact Σ -preserving. Note that by the amenability of Q,F κ, P(κ) Q = P(κ) Q 2. Suppose now [f ] < [c κ ] in Ul t ( Q,F κ ). Thus f Q, f : κ On Q and by normality, with {ξ f (ξ) < κ} F κ. Thus for a H(κ) P(κ) we shall have f L σa [a]. By Silver indiscernibility f (ξ)=h L[a] (i, a, γ,ξ, γ ) for some γ, γ [I a ] <ω with max( γ) ξmin( γ )) and h L[a] a canonical Σ -skolem function for (L[a],, a). But going to a we shall have f (ξ)=h L[a ] (i, a, γ,ξ) for some i. In particular f (ξ)<γ = g (ξ)= df min I a \max( γ,ξ)+. Let γ 0 = df min I a \(κ+). Then γ 0 < On Q. But then we have that [f ]<[g ] and j (f )(κ)< j (g )(κ)<γ 0 < On Q. This shows that j (κ) On Q. But clearly as well j (κ) On Q. Thus (recalling that λ = κ and Q = Q): u 2 (κ)=sup{ι a λ + a H(κ) P(κ)}=sup{σ a a H(κ) P(κ)}= On Q. But we have just seen that j,2 (λ ) = λ 2 = On Q. This establishes () for α = 2, and (2) for α=, and the reader can deduce the cases for larger α from this. This then gives a simple expression for the uniform indiscernibles of the bounded subsets of κ: they are the iteration points of Q,F κ as well as (their successor) elements being the ordinal height of the ultrapowers. (The reader will recall that under AD, in L(Ê) we have that for reals, u 2 =ℵ 2 and the ultrapower of u,< /F ω is u 2.) The following is well known for reals but follows immediately from the above: Corollary.4 cf(u α+ (κ))=cf(u 2 (κ)). Proof: j,α On Q is cofinal in On Q α. The point of the next lemma is that although M is ostensibly about the collection of Σ - singleton subsets of κ, with the assumption of stable measurability, considerations about it reduce to the Σ -stable parts of bounded subsets of κ. Lemma.5 Suppose κ is stably measurable. Then M = Q. Proof: We first remark that κ being stably measurable implies all bounded subsets of κ have sharps. ( ) is straightforward. ( ): M is clearly transitive. 7

8 Let x M and by Lemma.7 let it be coded by some X M 0. Let M,,F witness stable measurability. Then for some p H(κ), {X } Σ M (κ, p). Then find some N,,F 0 M,,F with N <κ, N,,F 0 = F 0 is a normal measure on κ, and X κ N 0, p H( κ) N. By elementarity {X κ} is a Σ N, { κ, p} singleton by the same definition as {X } was. As M,,F is iterable, so is N,,F 0 and if j α,β (0 α β On) are its (Σ -preserving) iteration maps, we shall have that {j 0,κ (X κ)} satisfies the same definition as that of {X } in N where j 0,κ : N N. That is: j 0,κ (X κ)= X. Note also that N Q = M, as N L σn [N ]. Thus X and so x are in L σn [N ] and we are done. Lemma.6 If κ is stably measurable, then it is witnessed to be so by ( M,,F ) where ( M, ) is as above; in particular M, Σ H(κ + ), itself and F = F κ M where F κ is the c.u.b. filter on P(κ). Thus ( M,,F κ ) = F κ is the c.u.b. filter and is a normal measure on κ. Proof: We first show that M, Σ H(κ + ), : by assumption there is some M, Σ H(κ + ),, some κ-model N M, and some U with N,,U witnessing stable measurability. Then M M (because M 0 M), so suppose that M, is not a Σ substructure of M,. Let ϕ(a,κ, a) M but, for a contradiction, ϕ(a,κ, a) M, for some A κ, A M where A M 0, and parameter a H κ. There is some ψ Σ so that ψ(a,κ,b) defines uniquely A = A as a Σ (κ,b) singleton. By Σ -elementarity, ψ(a,κ,b) holds in M and by upwards persistence both it and ϕ(a,κ, a) hold in N too. By the same argument find N,,U N N,,U with TC({a} {b}), A N κ = κ 0 κ. Let N 0,,V 0 be its transitive collapse with V 0 now an N 0 - normal measure on κ 0. Then iterate N 0,,V 0 to N κ,,v κ with some map j 0,κ now satisfying ϕ(j 0,κ (A κ 0 ),κ, a) N κ. But N κ M, and also ψ(j 0,κ (A κ 0 ),κ,b) N κ. By uniqueness of A s definition via ψ and upwards absoluteness of Σ formulae, j 0,κ (A κ 0 )= A. But then ϕ(a,κ, a) M - a contradiction. We just saw that any X M P(κ) is of the form j 0,κ (X κ 0 ) for some iteration map j 0,κ : (N,F 0 ) (N,F ) by repeating ultrapowers by an N -normal measure. Thus X = j 0,κ (X κ 0 ) either contains, or is disjoint from a tail of the critical points of the embeddings j α,α+ for α<κ. As these critical points form a c.u.b subset of κ, definable from N H(κ), and which is thus in M, F κ is thus a measure on M. For amenability, let X ν ν<κ M be a sequence of subsets of κ. Let it be coded by some X κ, X M, and as above have X (and thus X ν ν<κ ) in some N, X = j 0,κ (X κ 0 ) etc. as above. (N,F ) is amenable and F is generated by the tail filter on the cub in κ set of the critical points. But then {ν X ν F }={ν X ν F κ } N M, and amenability is proven. The proof of M-normality is similar. Finally note that <κ M M: suppose f : α M for some α < κ. As M = Q, each f (ξ) is in L σa(ξ) for some a(ξ) a bounded subset of κ. However now code a(ξ) ξ<α by some a still a bounded subset of κ. Then ran(f ) L σ(a) M. We thus can, and do, assume that M,,F κ M witnesses stable measurability, if it occurs. Corollary.7 κ stably measurable implies M, is the minimal Σ -substructure of H(κ + ), containing {κ} H(κ), and σ(κ)= On M. Proof: Any such Σ -substructure of H(κ + ), must contain a H(κ) L σa [a], which we have just seen equals M. 8

9 Corollary.8 κ stably measurable implies that for every A κ, with A M, A # exists, and is in M. Proof: Again let A= j 0,κ (A κ) for some iteration j 0,κ : (N,F 0 ) (N,F ). As (N,F ) L σn [N ], so are the next ω-many iterates j κ,κ+ω : (N,F ) (Ñ,G) (because (N,F ) L σn [N ] and the latter is an admissible set); but these critical points above κ, κ κ+i 0<i < ω are Silver indiscernibles for L[A] and are below σ N. Thus A #, either thought of as an A-mouse or coded as a subset of κ, can be constructed in L σn [N ] and is thus in M. Lemma.9 If there is a good Σ (κ, p) wellorder of P(κ) for some p H(κ) then: κ is stably measurable M = M. Proof: The direction ( ) is Lemmata.0 and.5 and does not require the additional assumption. For ( ): firstly suppose that M = M ; then notice trivially for every a γ<κ there is the least a-mouse, N a, witnessing that a exists. And its κ th iterate Nκ a Q ( = M ) and σ a < κ +L[a] = On Nκ a. In particular L σ a [a] Nκ a,f a where F a = F κ Nκ a. Consequently Q,F κ = F κ is a normal ultrafilter on κ. By the existence of the good Σ -wellorder, Lemma.8 states that we have that M Σ H(κ + ) and M,F κ winesses stable measurability. In fact there is more to be said on the sharps in M. Lemma.20 Let κ be stably measurable. Then u 2 (κ)=σ(κ). Proof: ( ) Let a H(κ) be a set of ordinals. Then a # (which exists by Cor..8), considered as the least a-mouse ( N a,,ū ) is in H(κ) and can be iterated κ+ many times, inside L σα # [a # ] M. If these iterations points are {λ α } α κ+ then as above these are Silver indiscernibles for L[a] and thus λ κ+ = ικ+ a < σ α # < On M = σ. ( ) Just note that for any γ < σ = On M there is, by Lemma.5, some a H(κ) with γ<σ a σ. But a # exists and then γ<σ a < κ +L[a] < u 2. However the converse of the last lemma may fail: suppose (κ=ω ) that u 2 (ω = ω 2 (which it may, by a result of Woodin, if there is a measurable cardinal and N S ω is saturated); but then also σ(ω ) = ω 2. It is easy to see that κ stably measurable implies that κ is Mahlo. Hence in general u 2 (κ)=σ(κ) κ is stably measurable. The following is similar to Lücke 7.(ii) showing weakly compact cardinals with theσ -club property (to be defined below) reflect on a stationary set. Lemma.2 If κ is weakly compact and stably measurable, then the set of cardinals α below κ which are stably measurable is stationary. Proof: Let M κ,f κ witness the stable measurability of κ. Thus M κ Σ H(κ + ). Let C κ be cub. Choose M H(κ + ) with M =κ and M κ {M κ,c } M and <κ M M with some elementary map j : M N, with critical point κ as given by weak compactness. Note that M κ Σ M. In general H(κ + )) M (H(κ + )) N, but P(κ) M N (and (F κ ) M (F κ ) N ). As M κ is an element of 9

10 H(κ + )) M it is in N. We claim: Claim: M κ Σ (H(κ + )) N and thus M κ,f κ witnesses stable measurability of κ in N. If the claim holds: N = j (C ) {α< j (κ) M α Σ (H(α + )), M α,f α witnesses stable measurability }. But then there is some α C with M α,f α witnessing stable measurability, and we are done. Proof of Claim: Let A M κ, ϕ Σ with ϕ( A) N. By upwards absoluteness: ϕ( A) H(κ+) and then by downwards Σ -elementarity: ϕ( A) M κ. (Claim & Lemma) The next result says that stable measurability is easily propagated upwards; but is perhaps less surprising when one realises that stable measurability at κ is more about the bounded subsets of κ. [7] Thm. 7.4 has that a stationary limit of iterable cardinals has theσ -club property (to be defined below). We have a weaker hypothesis and a stronger conclusion. Theorem.22 If κ is the stationary limit of stably measurable cardinals, then κ is stably measurable. Proof: Using AC, choose S a Σ -satisfaction predicate for H(κ + ),. Choose X,,S X H(κ + ),,S with z, X κ κ, and H(X κ) X (note κ is a strong limit), and letting π : X, X S H, S be the transitive collapse, let π(κ)= κ. By assumption we may additionally assume that κ is stably measurable. Then, let M = a H( κ) L σa [a]= M ( κ)= Q( κ) (the latter since by assumption all bounded subsets of κ will have sharps); the sets of the right hand side here are all contained in H. Then M,F κ M H and is definable there. By the stable measurability of κ, i.e. using that M Σ H( κ + ), and the inclusion M H H( κ + ), and noting that S codes Σ -satisfaction over H,, we have that H, S = M Σ V M,F κ = F κ is a normal measure on κ. Applying π we have π ( M,F κ )= Q(κ),F κ. We then have: H(κ + ),S = Q(κ) Σ V Q(κ),F κ = F κ is a normal measure on κ. In other words, Q(κ),F κ witnesses that κ is stably measurable. We now relate stable measurability and its analysis above to Lücke s notion of theσ -club property. Definition.23 (Lücke [7] Lemma 4.) κ has theσ -club property if, for any A κ so that {A} Σ (κ, z) where z H(κ), then A contains or is disjoint from a club subset of κ. (Actually this is not Lücke s basic definition, but he shows this is equivalent to it.) Note that by Σ (κ, z) definable, we can take this to mean Σ H(κ+ ) (κ, z)-definable, by Löwenheim-Skolem and upwards absoluteness arguments. We introduced in [] the following notion when discussing variants of Ramseyness. 0

11 Definition.24 κ is called (ω -)iterable if for any A κ there is a transitive set M, and filter U, with A M and (M,,U ) = U is a normal measure ; it is amenable, iterable by U and has wellfounded ultrapowers. (In [] this was rather obscurely called the Q property.) It was shown there (op. cit. Lemma 5.2) to be strictly weaker than Ramseyness: that would require additionally that the filters U be ω-closed. One can show that an ω -Erdos cardinal is a stationary limit of ω -iterable cardinals (see [] Lemma 5.2). But notice that iterability is clearly stronger than stable measurability: every subset of κ must be in some iterable structure, not just the Σ (κ)-singletons. Lücke shows the following: Theorem.25 (Lücke [7] Cors. 4.2 and 4.5) (i) κ iterable theσ -club property holds at κ. (ii) TheΣ -club property at κ x Ê(x # exists). We remark later that the gap above can be closed by showing that theσ -club property is equiconsistent with stable measurability. However first we may show outright: Theorem.26 κ has theσ -club property, if κ is stably measurable. Proof: We ve seen above at Corollary.6 that if κ is stably measurable, then it is witnessed to be so by ( M,,F κ M); but the latter contains M 0 so this suffices. The converse can be false: Lemma.27 Z FC κ has theσ -club property κ is stably measurable. Proof: Lücke points out in [7] Cor. 7.3, that if κ is a regular limit of measurables, then theσ - club property holds. But such a κ need not be Mahlo, and so not stably measurable. Conversely we now have (and by the above the assumption in the lemma is necessary): Lemma.28 Assume there is a goodσ (κ)-wo of P(κ). Then κ has theσ -club property implies κ is stably measurable. Proof: That κ has theσ -club property ensures, by an application of Lemma.7 that F κ measures P(κ) M. That there is a goodσ (κ)-wo of P(κ) will ensure that M Σ H(κ + ). Putting the argument of the last lemma together wth the fact that stably measurable cardinals are Mahlo, one can conclude: Corollary.29 If κ is a regular cardinal which is not Mahlo, but is limit of measurable cardinals, then there fails to be a goodσ (κ)-wellorder of P(κ). In fact [9] Cor..4 show this directly for lightface Σ (κ) good wellorders, but for all regular limits of measurables.

12 2 Stable measurability in L[E]-models We consider what happens when stable measurability is instantiated in models with fine structure. The outcome is an equivalence between the notions considered. 2. When K = K D J We let in this subsection K = K DJ. We shall show that the stable measurability is downward absolute to K. We note first: Lemma 2. (V = K D J ) M Σ H(κ + ). Proof: By Lemma.8, as in K D J we have a good Σ H(κ+ ) (κ) wellorder < of P(κ). We then relate Q(κ) to an older notion. Definition 2.2 (The Q-structure at κ)([2]) In K, let Q(κ)= df J F κ θ(κ),,f κ be the union of the κ th iterates of all DJ-mice M H(κ). As the measure of each such κ-iterate M κ of such a DJ-mouse M H(κ), is generated by the tail sequence filter of its closed and unbounded in κ sequence of critical points, the measure on M κ is just F κ M κ, and thus M κ is of the form J F κ α,,f κ. Q(κ) is the union of all such, and is itself a DJ-mouse. (The reader should be reminded that DJ-mice, whilst amenable, are not acceptable in the modern meaning of the word. Indeed for a DJ-mouse M with critical point κ it need not be the case that (H κ ) M M. Such is the case for example with Q(κ).) The height of Q(κ) is thus proportional to the length of the critical mouse order of H(κ). (It can be shown (i) that ifη is this order type then θ(κ)=κ η, and thus (ii) H(κ) is closed under sharps iff η is a multiple of κ 2.) Lemma 2.3 In K D J : for any cardinal κ, θ(κ) u 2 (κ). Still in K D J, [4] Lemma 3(i) shows that the uniform indiscernibles for bounded subsets of κ (of which thus u 2 (κ) is the second) are precisely the critical points of the successive ultrapowers of Q(κ). Q(κ) need not have the all the sets of Q(κ) (it may be too short, indeed in this case even if all bounded subsets of κ have sharps, we may have Q(κ) Q(κ)) but if Q(κ) is admissible then we shall have Q(κ) = Q(κ). Still assuming Q(κ) is admissible the discussion in [5] showed that u 2 (κ) = θ(κ). What we shall see is that if in K, σ(κ)=u 2 (κ), then we shall have also that θ(κ)=σ(κ) and moreover that Q(κ)= Q(κ)= J F κ θ(κ),,f κ itself witnesses stable measurability in K. Lemma 2.4 Suppose V = K D J and that Q(κ) is admissible. Then Q(κ)= Q(κ). Proof: It is easy to see that ( ) holds, by the previous style of arguments. For ( ): let a H(κ) P(κ). The a is simply an element of a D J-mouse N H(κ) (as K D J is the union of such). However then a N κ which is an initial segment of Q(κ). Now suppose x Q; then x L σa [a] 2

13 for such an a. (We are using here, that as Q(κ) is admissible, On Q(κ) is a multiple of κ 2 and thus H(κ) is certainly closed under s, and thus M = Q.) Then a is in some D J-mouse M H(κ). But Q(κ) H(κ). Hence M,κ Q(κ). By KP then the κ th iterate of M, M κ is in Q. But P(κ) L[a] M κ. Thus there is a subset of κ that codes the ordinal σ a, and so also a code for the structure L σa [a], in M κ, and so, by KP again, these sets themselves are in Q. This puts x Q. Theorem 2.5 (i) σ(κ)=u 2 (κ) σ(κ) K = u 2 (κ) K. If additionally 0 then σ(κ)=σ(κ) K. (ii) κ is stably measurable (κ is stably measurable) K as witnessed by Q(κ)= J F κ θ(κ),,f κ. Proof: For (i): assume σ(κ)=u 2 (κ). Firstly note that if 0 exists, then every uncountable cardinal κ is Ramsey in K, and hence is iterable, hence stably measurable in K. Then the conclusion follows by Lemma.20. So assume 0. () σ(κ) K = σ(κ)=u 2 (κ)=u 2 (κ) K. Proof: of (). By Σ 3-absoluteness arguments going back to Jensen (see, e.g., [2] or [3]) for reals, but applying them for bounded subsets of κ, u 2 (κ)=u 2 (κ) K. So we are left with showing the following Claim: Claim σ(κ) K = σ(κ) Proof: σ(κ) K σ(κ) follows from the wellorder of P(κ) K being a good Σ H(κ+ ) K (κ)-definable wellorder which at the same time is a good Σ H(κ+ ) (κ) wellorder in V ; thus if {A} is a Σ (κ, p) K singleton subset of κ, it is also a Σ (κ, p) singleton in V. Hence any such A M0 K coding a wellorder τ<σ(κ) K is also in M 0. Clearly then τ and so σ(κ) K σ(κ). But σ(κ) K u 2 (κ) K, since the latter is also sup{cp(n κ+ ) N κ+ is the κ+ st iterate of a mouse N in H(κ)} and moreover On N κ+ < σ N. All such N κ+ are in M if the latter is any Σ -substructure of H(κ + ) K containing H(κ) {κ}. Hence σ(κ) K u 2 (κ) K = u 2 (κ)=σ(κ). QED(Claim & (i)) For (ii) assume that κ is stably measurable. Claim Q(κ) witnesses that κ is stably measurable in K. Proof: Work in K. Let M = M K. Q(κ) M since Q(κ) is the union of the κ th iterate of DJ-mice N H(κ) and all such iterates are in M. Q(κ) M: By Lemma.7 it suffices to show M0 K Q(κ). Let A M 0 K. By the argument for (), A M 0, and by Corollary.8, using stable measurability in V, A # exists, and by absoluteness it exists in K. Hence A M0 K P(κ) A# M0 K. However then there is some DJ-mouse N A with A N A. Note now the< -least such mouse N A projects to κ and so has a code B a subset of κ. But {A} is a Σ (κ, p) singleton set (some p H(κ)), and thus such a code set {B} is also a Σ (κ, p) singleton set and so it, and thence N A, is in M. Moreover if λ i i ω are the first ω iteration points of N A which are Silver indiscernibles for L[A], then λ = sup{λ i } i<ω < σ = u 2 (κ) (the latter equality by part (i)). So there is some N H(κ) with cp( N κ+ ) > λ. As N κ+ is a DJ-mouse, there is some f : κ On N κ+ which collapses λ with f Σ ω ( N κ+ ). In particular λ is collapsed, so N N A. However then A 3

14 P(κ) N A P(κ) N κ+ P(κ) Q(κ). Thus Q(κ)= M and Q(κ),F κ is iterable etc. So κ is stably measurable. QED(Claim & (ii) & Theorem) Theorem 2.6 (V = K D J ) σ(κ)=u 2 (κ) κ has theσ -club property κ is stably measurable. Proof: Note first that M Σ H(κ + ). This is by Lemma.8 as in K D J we have a good Σ H(κ+ ) (κ) wellorder of P(κ). If κ has theσ -club property then M,,F κ = F is a normal measure on κ, and as usual is iterable. Thus M,,F κ witnesses stable measurability. This in turn implies σ=u 2 (κ) (by.20). We are left with showing σ=u 2 (κ) implies theσ -club property. As we have M Σ H(κ + ), it suffices to show that F κ measures all P(κ) M. Let A P(κ) M. Then A M σ A σ. As we are in K if A #, then K = L[A]. (If we define K L[A] inside L[A] and this is not all of K, then there is some least mouse P L[A]. But then P generates A #.) But in this case, as H(κ)= H(κ) L[A] we should have that if o(a) is the least ordinal so that A =L o(a) [A] = KP, o u 2, as all κ+ st iterates of mice N H(κ) are in fact in A. But A is merely the first A-admissible > κ containing H(κ) {κ}. Thus o(a) < σ A (as σ A is a limit of A-admissibles) and the latter is σ = u 2 - a contradiction. Hence A # exists. Let N A be the < -least mouse with A N A. By the Σ elementarity of M, we have N A M. By the same argument with N A in place of A we cannot have H κ L o(na )[N A ] the least admissible set containing N A. Hence there is some < -least mouse M H κ \L o(na )[N A ]. Thus N A < M. As A P(κ) N A P(κ) M κ where M κ is the κ th iterate of M, either A or c A contains a tail of the club of critical points C M κ. Corollary 2.7 In K D J, if σ(κ) = u 2 (κ) then these two ordinals both equal θ(κ) and if < is the prewellordering of mice, then o.t. ( < H κ ) = σ(κ). Remark: In K D J it can happen that θ(κ)<σ(κ) (for example if K = L[0 # ]) but θ(κ) can never be strictly greater than σ(κ) as we always have Q(κ) M 0. Now just as a corollary to the above we have immediately: Theorem 2.8 The following are equiconsistent over Z FC : (i) κ(κ is stably measurable) ; (ii) κ(σ -club property holds at κ) ; (iii) κ(σ(κ)=u 2 (κ)). Philipp Lücke has also pointed out that a further equivalence can now be obtained in K D J with a hypothesis that is also used in his paper [7] at Lemma 3.3 and Theorem 3.4. We derive this as follows. Lemma 2.9 In K D J we have κ is stably measurable iff H(κ) is notσ (κ)-definable. 4

15 Proof: Note that H(κ) Q(κ) and is a Σ -definable class over, but is never an element of, the latter. By definition of M we always have Q(κ) M. Hence the equivalences On Q(κ)<σ(κ)= On M iff Q(κ) M iff H(κ) M iff H(κ) isσ (κ)-definable are all true for any κ>ω. However by Theorem 2.6 and Cor. 2.7 we have On Q(κ)= u 2 (κ)=σ(κ) iff κ is stably measurable. str ong 2.2 When K = K In this subsection we assume V = K but 0 pi st ol. There is thus no mouse M with a measure with a critical point κ and λ<κ with o M (λ) κ. (Such a mouse engenders a sharp for an inner model with a strong cardinal.) Let us call K built under this hypothesis K st r ong. Lemma 2.0 Suppose the measurable cardinals in K are bounded by some λ + < κ. Then there is a goodσ (κ)-wellorder of P(κ). Note the assumption here implies that although the measurable cardinals of K below κ are bounded by some λ +, but allows some measurable τ λ to be strong up to κ. Proof: Let e = df E K λ + with λ such a bound. If some τ λ is strong up to κ on the sequence E K, then, by a use of 0 pi st ol we may take λ as this τ. Then let ψ(e,λ) be the assertion that λ is strong up to κ as witnessed by the sequence E. Otherwise let ψ(e,λ) be All measurable cardinals on the sequence E have their critical points λ. Then e will serve as a parameter for defining the wellorder on P(κ) given by: We shall set x y iff x < M y where< M is the usual order of construction of the structure of M, for an M satisfying the following: E M λ + = e M = K P+ ψ(e M,λ) M is a sound mouse M is the least level of the J E M -hierarchy that contains x and y which is a K P-model M is -minimal satisfying these conditions. Note that these conditions require that ρ ω M = κ. That this is a good Σ (κ,e)-wellorder follows directly from: Claim: If M, N are two mice satisfying the above for x, y κ then M = N. Proof: of Claim: by standard comparison considerations, which we shall give in any case. Let M = M 0 and N = N 0 be two such mice; let them be compared to M θ and N θ. We want that the comparison is trivial, i.e. M = N. Suppose for a contradiction that ν 0 is the point of least difference between E M 0 and E N 0. As they both satisfy ψ(e,λ) there are no measurable cardinals in the interval (λ +,κ) on either of the E M 0, E N 0 sequences. Suppose first that ψ(e,λ) asserts only that the measurables are bounded by λ, that is the measurables (and their measures) in M, N are just those in e. Thus were ν 0 < κ we should have a truncation on one side, wlog, the N -side to create a full measure to form an ultrapower. As there can be no truncation on the M-side by a consequence of the Dodd-Jensen Lemma, the comparison must run for at least θ κ stages finally iterating some measure of order zero in some N ι up to κ. As there are no measures in this interval on the M-side to take ultrapowers with, then there has been no 5

16 movement on the M-side: M 0 = M κ. However the iteration of the initial truncate N0 of N 0 to N κ is from some stage before κ onwards, a simple iteration (after perhaps finitely many further truncations) that can be defined inside the K P model N 0. We may conclude that N κ N 0. N κ is of the form (J E Nκ α,f N κ ) for some filter F N κ. Now M = M κ is a simple K P model, with κ as its largest cardinal. Hence it is a proper initial segment of the Z F -model J E Nκ α and thus is an element of N. But this contradicts the assumption on the -minimality of N. Consequently any non-trivial comparison must start by using some ν 0 > κ indexing some filter with critical point κ. However this is also a contradiction since both ρ ω M = κ=ρω N, our conditions insure that if M N then we see by comparison that the code of one as a subset of κ is a member of the other. But that also contradicts the minimality conditions on the appearance of x, y in the two hierarchies above κ. We conclude that M = N. In the case that in E K that λ is strong up to κ then let M be some initial admissible segment K satisfying the requirements. Suppose N is another mouse satisfying them with λ strong up to κ But the extenders on the E N sequence must agree with those on the E K = E M sequence below κ. Otherwise in the comparison of M with N if ν 0 is the least index used, this must be because both F 0 = df Eν M 0 and F = df Eν N 0 are both non-empty. But we are in K and P(λ) M N. Thus both F 0,F are ω-complete [6] Lemma 8.2.2); this guarantees that J E K ν 0,,E K,F 0,F is a bicephalus. And thus F 0 = F (op.cit. Lemma 8.2.9). Thus if any comparison is to be done it must involve an index ν 0 > κ indexing an extender with critical point> κ (by 0 pi st ol ). But just as before this contradicts our minimality conditions on M, N and we conclude that M = N. (Claim and Lemma) Corollary 2. (V = K ) Let κ satisfy the assumption ( ) of the last lemma. Then κ has theσ -club property κ is stably measurable σ(κ)=u 2 (κ). Proof: We just repeat as before that P(κ) having a goodσ (κ)-wellorder together with theσ - club property implies that ( M,,F κ ) witnesses stable measurability. The right-to-left direction of the first equivalence is now trivial. The second equivalence is Lemma.20 as before. As we saw at Lemma.27, without an assumption the first equivalence can fail, for example κ a regular limit of measurables, which is not a Mahlo cardinal. Lemma 2.2 Assume 0 pi st ol. σ(κ)=u 2 (κ) σ(κ)=σ(κ) K = u 2 (κ) K. Proof: The assumption implies that bounded subsets of κ are closed under s. By 0 pi st ol and absoluteness arguments u 2 = u2 K. 2.3 When K = K J S Let V = K JS be the Jensen-Steel core model built assuming there is no inner model of a Woodin cardinal. Then the comparison argument in Lemma 2.0 goes through with the same effect, for a κ which is not a limit of K -measurables. 6

17 3 Two applications 3. Σ -stable measurability There are two further recent theorems that could benefit from the weakening of an assumption from iterability to stable measurability. They are proven in [8] as Theorems.9 and.8 respectively with the assumption of (ω -)iterability, which we now weaken to stable measurability by adapting their argument. But the proofs are now shorter. Theorem 3. Assume κ is stably measurable. Then the following are equivalent for X Ê: (i) X is Σ (κ)-definable; (ii) X is Σ 3 definable. Proof: (ii) (i) is unaltered as in [8]. (i) (ii): Let M,,F κ witnesses stable measurability. Exactly as in [8] define the Σ 3 set: Y = { y Ê countable, iterable N,,U = U is a normal ultrafilter on κ ϕ( κ, y) } where ϕ(κ, v ) Σ defines X. Then Y X since for any y X we can take a countable elementary substructure N 0,,U 0 M,,F = ϕ(κ, y). Then we have a witness to put y into Y. Conversely any witness N 0,,U 0 = ϕ( κ, x) that x Y, iterates to a structure N κ,,u κ = ϕ(κ, x), with N κ Q. But Q = M by Lemmata.0 and.9. But then by Σ -upwards absoluteness ϕ( κ, x) holds in M and in V. For completeness we repeat the following immediate, but nice, corollary 6.3 from [8] with this improved hypothesis. Corollary 3.2 Suppose κ is stably measurable. Then if there is a Σ (κ) wellordering of Ê then there is such which is Σ 3. In K we get a form of equivalence in Theorem 3.. Theorem 3.3 Assume V = K D J. Let Φ(κ) be the following sentence: Then we have: Φ(κ) : X Ê r Ê[X is Σ (κ,r )-definable X Σ 3 (r )]. κ is stably measurable Φ(κ) is preserved by small forcings of size < κ. Proof: By Theorem 3. κ is stably measurable implies Φ(κ), and stable measurability is preserved by small forcing. This proves ( ). First just note that if H(κ) is not closed under sharps (which implies that κ is not stably measurable) then the right hand side fails: let a γ < κ have no sharp; then V = L[a] as we must have K L[a] for otherwise a would exist. Let È = Col (ω,γ); then V [G] = V = L[r ], where r is a real coding G and a. But now any analytical (in r ) set whatsoever is definable over L ω [r ] and thus is Σ (L κ [r ],r ) and then Σ (κ,r ). Consequently the right hand side fails. So now assume that H(κ) is closed under sharps. 7

18 () Any X Σ 3 (r ) is ΣQ(κ) (r ). This follows from the fact that there is a Martin-Solovay tree for Π 2 is -definable over Q(κ) (cf. [2], [3] Sect ). (2) M Σ H(κ + ), by Lemma 2. and then by definition σ On M. Suppose κ is not stably measurable. Then Q(κ) cannot witness stable measurability and moreover: (3) θ(κ) u 2 < σ. Proof: The first inequality is Lemma 2.3, and the second is by Theorem 2.6. (3) But then: (4) Q(κ) M. Proof: We have that θ(κ)= On Q(κ)<σ On M. But then for some z H(κ), θ(κ) Σ M (κ, z). But then also J F κ θ(κ) is also ) ΣH(κ+ (κ, z), and so is in M. (4) Let G be È-generic over V for some È H(κ) which collapses TC({z}) to be countable. Then as M Σ H(κ + ), we have in V [G] M[G] Σ H(κ + )[G]=(H(κ + )) V [G]. Let r Ê V [G] code z. Then Q(κ), which is not altered in the passage to V [G], is in Σ M (κ,r ). Consequently if X Ê is a universal Π 3 set, then X ΠQ(κ) but would then be Σ M (κ,r ); but such an X is not Σ 3 (s) for any s Ê. So this provides a counterexample to the preservation of Φ(κ) under small forcing. Within K we can replace the stable measurability by any of its equivalents from Theorem 2.6 of course. Outside of K even assuming sufficient sharps for Σ 3-absoluteness we can only show by similar methods results such as the following: Lemma 3.4 ( 0 dag g er a P <κ (κ)(a # exists)). Assume there is a goodσ -wellorder of P(κ). Then: u 2 (κ)<σ(κ) Φ(κ) fails in a small generic extension. Proof: Use that if M is a Σ -substructure, that θ(κ) (u 2 ) K = u 2 by the correctness of the calculation of u 2 inside K due to the assumed absoluteness from 0 dag g er, and thus is Σ M (κ, z) definable from some z P <κ (κ), and thus also Q(κ) M as above. But then the first ω iterates of Q are in M and this is enough to define the Martin-Solovay tree of K on these uniform indiscernibles as an element of M. (The assumptions of the lemma again ensure the correctness of this tree in V.) But now we get as before Π 3 sets of reals as Σ (κ,r ) where r is a real in a small generic extension coding z. But we don t have a converse to this. Theorem 3.5 Assume V = K st r ong. Let κ not be a limit of measurable cardinals. Then the conclusion of the last Theorem 3.3 holds. Proof: The direction ( ) is as before, again we seek to prove ( ). Instead of using the Dodd- Jensen Q(κ) we use the generalised Q(κ). If Q(κ) is in M we ll reason as before that if M fails to witness stable measurability, that analytical sets are definable over Q(κ) because again a 8

19 Martin-Solovay tree is so definable. We again then have a counterexample to the right handside. The case that H(κ) is not closed under sharps is a small variant: let a γ < κ have no sharp; let a code both a and K γ where γ < κ is least with a K γ. Then V = L[a ]. Let È= Col (ω,γ ); then V [G] = V = L[r ], where r is a real coding G and a. We can finish as before, We assume then H(κ) is closed under sharps; we are done if we can show Q(κ) M. Note that by Lemma 2.0 we have a good Σ (κ,e) wellorder of P(κ) and hence M Σ H(κ + ). (Recall that e was the initial segment of the E K extender sequence E K λ + for some λ<κwhich bounds the measurable cardinals.) By the assumed failure of stable measurability at κ we must have M Q(κ) as otherwise ( M,F κ ) would be a witness to this. Let A M 0 be such that A M\ Q(κ). Without loss of generality we may assume A λ + codes e = E K λ +. Firstly suppose that A. Then covering lemma arguments show that K A = df (K ) L[A] is a universal weasel, and as we are below 0 pi st ol it is a simple iterate of the true K - that is without truncations in the comparison. However A codes the initial segment of K given by E K λ + and thus E K A λ + = E K λ +. Consequently no comparison index is used below κ. Consequently we have that Kκ A = K κ = L κ [A] = H(κ). But L κ [A] M. But then Q(κ) is definable within the admissible set M from H(κ) and we ve achieved our goal. Thus suppose A exists. If L κ [A]=K κ = H(κ), then we could reason as we just have done that Q(κ) is definable within M. So there is some < -least sound mouse P with A P and ρ ω P = κ. By the elementarity of M in H(κ + ) we have that P M as it is Σ definable from A. Then in comparison of P = P 0 with R 0 = df K κ we cannot have that R 0 is truncated below κ and some R0 is iterated past P, as in that case A is an element of an iterate of the κ th iterate of (some final truncate of) R0, and the latter along with A would be in Q(κ). So then, as K has no full measures in the interval (λ, κ], the coiteration is trivial below κ, indeed altogether trivial, and H(κ)=K κ P M, and we may finish as before. Putting together the above we have: Corollary 3.6 Assume V = K D J (or V = K st r ong ). Then κφ(κ) is (set)-generically absolute if and only if there are arbitrarily large stably measurable cardinals in K. As in Lemma 3.4 we can prove the following with these methods. Corollary 3.7 Assume 0 pi st ol a P <κ (κ)(a # exists)). Assume there is a goodσ -wellorder of P(κ). Then: u 2 (κ)<σ(κ) Φ(κ) fails in a small generic extension. The following is a strengthening of [8] Theorem.8 where the assumption is that κ is iterable; it is based on their template but now follows easily from the analysis above. Theorem 3.8 Assume κ is stably measurable. Assume X P(κ) separates F κ from NS κ, then X is not H(κ+ ). Proof: Let κ be stably measurable as witnessed by M,,F κ as usual. For a contradiction let ϕ(v 0, v ) and ψ(v 0, v ) be Σ and define some X F κ and its complement in P(κ), but with 9