<2".
Since <', <" are well-ordering, (i) and (iii) imply that <' well-orders U'; thus, 4.5.10(a) holds. Conversely, given models 8,Q of 9,#, resp., we construct a model l!i of
Ch. 4,
51
273
FURTHER HANF NUMBER COMPUTATIONS
by setting
(where b, c denote the first elements of UB, U", resp.), and defining the interpretation of the remaining symbols in the (only and obvious) way to make them compatible with (*); for example <; is
We leave to the reader the routine work of completing the definition of 'u and checking that it is a model of T. If 8 and B are chosen so that <' has type 2 a and <" has type 2 /3,
then
<'
has type 2 a./3, and 4.5.10 (b) holds. Thus,
T
pins down asp.
REMARK. More generally, AC,+ is closed under primitive recursive operations on ordinals (Karp-Jensen). Let a ( K + ) be the first ordinal not in AC,+. Trivially K + < a ( % + ) .Exercise 4.5.2 indicates how to sharpen this to a strict inequality whenever cf(K) > a . This, together with the preceding results, shows: (1) (11)
q("+, < b,,
K + u. Is it possible to improve these results? The rest of this section is devoted to show that (I) can be sharpened to an equality. Concerning (11); from Lemma 4.5.12 it follows that a ( K + ) is larger than K + - K + ,...,( K + )n... ; it is easy to see that it is also larger than ( K + ) ) ( + , ( ( K + ) " + ) ' + , . .. (all ordinal operations), etc. Extending these ideas, BARWISE-KUNEN [ 1] show-using methods from metarecursion theorythat a ( K + ) is the least ordinal not H(K+)-recursive, whenever cf(K) >a. However, in ZFC one cannot do much better than (11). Using the order a of Exercise 4.5.2 and forcing methods Kunen showed that if 2" is large with respect to K , one can consistently make a(K+) small (less than K + + , for example), or large (greater than 2", for instance). More precisely:
THEOREM (Kunen). Let K , 8 be regular cardinals such that o < K < 8. Assume ZFC consistent. Then there are models m, % of ZFC in which the values of
214
INFINITARY LANGUAGES WITH FINITE QUANTIFIERS
[Ch. 4, 4 5
2’ are as foIlows:
2’=Xf 2‘=max(A+,O}
but:
for ail cardinals w < X < K , for all cardinals X > K ,
%ka(K+)>O.
Thus, for example, if ZFC is consistent, so are: (a) ZFC 2’0= N, + 2’1 = NEb3 + a@,) < N,, (b) ZFC + 2’0= N, 2’1 = N,,, + a(N,) > NL6,.
+
+
With this background on record we set to work for the equality 6, = a,(,+,.
C. Semi-accessible ordinals It turns out that the notion of h.+-accessible ordinal is still too coarse (and difficult to handle) to yield a direct proof of fjK= a,(,;,. The transition to a more manageable notion is carried out in two steps: firstly, by relaxing the well-orderedness requirement to merely well-foundedness; secondly, and more important, by adding the metatheoretic requirement that the wellfounded structures in question be reasonably well-behaved set theoretic objects; loosely speaking, “well-behaved” means “definable in ZFC by a condition that can be expressed in a single L,+,-sentence”. Recall that a weff-faunded structure ( X , R ) is one in which the binary relation R is well-founded. Each well-founded structure has an associated “rank” function p : X+ON, defined by induction on R (cf. Chapter 0, Q 1): p ( x ) =sup{p(y)
+ 1 IyRx},
for x E X .
By analogy with the tree notation, we define the height of ( X , R ) as follows: h((X,R))=sup{p(x)+l I x E X } .
DEFINITION 4.5.13. An ordinal a is K+-semi-accessib/e’ iff there is an (5,< ) such that:
x E H ( K + )and a well-founded structure
I BARWISE-KUNEN [ I ] call this notion “tree-accessible over H(K+)” (and, of course, one may (but need not) require (5,< ) to be a tree; indeed, one of height GU). Due to their loose use of the word “tree”, and lacking a better name, I use the prefix “semi”.
Ch.4, J 51
FURTHER HANF NUMBER COMPUTATIONS
215
(i) 9c 9 ( x ) ; (ii) the sets 5 and < are definable in ZFC by bounded-quantifier formulas using parameters from H(K+); (iii) a < h ( ( S , i )). The next two theorems prove that this notion is identical with that of +-accessible ordinal.
K
THEOREM 4.5.14. a is K+-semi-accessible + a is K+-accessible. PROOF.Let x , 5, < be as in the preceding definition and let cp(uo), +(uo, ul) be the bounded-quantifier formulas of ZFC with parameters a ,,...,a,, €H(K+),defining 9,<, respectively. Let w = T C ( { x , a , , ..,a,,}); . w is transitive and of power < K . Consider the similarity type p having the following symbols in addition to the binary predicate < : T, U , unary predicates, R , E , binary predicates, F, unary function symbol, an individual constant for each z E w. cz, Let 0 be the conjunction of: (i) 1( c , x c b ) for a , b E w , a # b , (ii) Vuoul[T(uo)~ u , E u ~ + u , E c , l , (iii) A , , w V u [ u E c , ~ V b , , u ~ ~ b l , (iv) “ T is the field of R ” , (v) Vu[T(u)t,p,(u,c,, ,...,C,” )I, (vi) ~ u o u , [ u , R u , ~ + ( ~ o , ~ ..,c,)I, ,,c,,,. (vii) “extensionality for E ” , (viii) “ F maps T onto U”, (ix) “ < linearly orders U ” , (XI V ~ o ~ , [ ~ o R ~<, F~( v~, )(l .u o ) In (v) and (vi), E is, of course, to be replaced by E . We prove that 0 pins down a. This requires an absoluteness argument which we treat first. Let 2l E Mod(f3); define a map f : X = T E u { c,” I z E w } 4
as follows:
uw
276
INFINITARY LANGUAGES WITH FINITE QUANTIFIERS
[Ch.4,
§5
Using (i)-(iii) one easily checks:
(*)
z E w A ‘u k T(c,) + { y E x I \II +c,,EcL}= z ;
so that f is actually a map. Using (i)-(iii) and (vii) it is easily seen that:
‘Ul=aEb o f ( a ) ~ f ( b )f o r a , b E X .
(**)
One has to consider four cases, according to the distribution of a, b in each of the two parts of X . As an illustration we do the proof in the case a E T’, b = c,” for some z E w. Suppose ‘u t=aEc,; by (iii), a = c,” for some u € 2 ; therefore f ( a )= u, f(b) = z , which implies f ( a ) E f ( b ) . Conversely, if f ( a ) E f ( b ) = z , then ‘u t= c,(,,Ec,, by (iii); next we see that V U [ U E C , ~ , ) , ~ U E ~ ] ; then by (vii), a = c&,, which implies W t= aEc,, i.e., ‘u != aEb, as required. We now generalize (**) to the following: CLAIM.Let u(u,, ..., on) be a bounded-quantifier formula of ZFC and s,,...,s,EX; then:
(i.e., f(s,),. ..,f(s,) satisfy u in the real world).
PROOFOF CLAIM. By induction. The case when u is atomic is precisely (**). The case when u is a Boolean combination of earlier formulas is obvious. Let us suppose u is an existential formula; since u is bounded-quantifier, u = 3 u ( v E o, A u’), where 1 < i < n and u’ has less logical symbols than u. (*) ‘uku[s, ,..., s,] implies that there is s E I % such that \ZIt=u’[s,s,,...,s,] and sE‘s,; by induction hypothesis and (**), (
hence
3‘
E ) +f(s) ~ f ( s iA)u’[f(s),f(s1 1 7 . . J ( s n ) l ;
(e) From ( V , E) Fu[f(s,), . . .,f(s,)] we get some u E f ( s i ) such that ( V , ~ ) k u ’ [ u , f ( s , ) ,...,f( s,)]; if si€T‘, then u E x and ‘ U k c ~ E s iif; si=c,” for some z ~ w then . u ~ f ( s , ) = z ;in either case cf E X and u=f(c:), whence, by the induction hypothesis, \II k u’[cu,sI,...,s,]; hence
Ch. 4, 8 51
FURTHER HANF NUMBER COMPUTATIONS
211
i.e., )2[t=u[s,,..., s,]. Now apply the claim to cp,+,s,s,,s,EI’UI and cu,,..., cua, taking into , respectively, in account (v), (vi) and the assumption that cp,$ define 5,i the real world; we conclude:
-
‘Ut=T[s]* f ( s ) E ‘3
8ks,Rs,
f(SJ
i f(S2).
In particular, it follows that R’ is a well-founded relation on T’; using (viii)-(x) we immediately infer that <’ well-orders U’. Thus condition (a) of 4.5.10 holds. )); in fact, Likewise, 4.5.10(b) is a simple consequence of a < A ( ( ? , i if P is the height of (9, i ), the structure 8 with universe w , in which T, U , R , E , <,F and cz are respectively interpreted by ?,[O,P), i , E rw, E r P , p (the rank function of (5, < )) and z , is a model of 8 in which <’ has type > a . Thus we have proved that 8 pins down a , whence a is K+-accessible. W
THEOREM 4.5.15. a is K+-accessible a a is K+-semi-accessible. PROOF.Assume cp pins down a. Let po= Sm(cp); then po contains U and < ; without loss of generality we can assume po is endowed with Skolem functions. Let { c, I i > l } be fresh individual constants, p,, = pou { c , , . ..,c,} for n > 1, pm= p0u { c, Ii 1). Let \k be a tidy frame for cp in pm. We shall use Lemma 4.5.5 to define the well-founded structure (9, i ); we begin preparing the ground for it. Let ro={cp} and for each n > 1, let r n denote the set consisting of the sentences: (1) (ii) U(c,) for i = 1, ..., n, (iii) c,+ < c, for j = I , . . .,n - 1. Let T,, denote the family of all complete, tidy and closed sets of sentences By Lemma 4.5.5 relative to \ k r p , containing r,; let 5 = UnEU?,. (modulo a small change!) 5 is definable by a bounded-quantifier formula of ZFC with parameters in H(K+).Define the relation < on 5 by: cp7
,
Z’ i Z”
H
Z’, Z” E 5 and Z’ properly confains 2 ” ;
obviously, iis also definable by a bounded-quantifier formula with parameters in H(K+). i ) is well-founded. Otherwise, given a descending We show (5,
218
INFINITARY LANGUAGES WITH FINITE QUANTIFIERS
[Ch. 4,
B
5
sequence
has a model, say 9l. we use Lemma 4.5.6 to conclude that Z,= UnEwXn Since all the En's contain 'p, 91 ~ M o d ( ' p ) However . <" does not well-order U", because each sentence ci+ < c, is true in 'u, contradicting the assumption that 'p pins down a. This contradiction proves our contention. It remains to be proved that a < h(( 9, < )). Recall that p denotes the < ). By induction on p(Z) we prove: rank function of (9,
,
(*I
if 9l k Z, then (for n > 1) Z E Tn + the predecessors of c," under <" have order type < p(Z), I:E To * <" has order type < p(E).
Suppose, for example, that at=Z , Z E Tn and c," has >p(Z) predecessors; let a be the p(Z)+ 1'' element of U'; set B=(91r,a) (i.e., c : + , = a ) ; let Z' = Th"+"(8) n (9rpn+ ,).Then Z' E Tn+,, and it properly extends Z, i.e., 2' < Z; hence p(Z')p(Z') predecessors under a , we conclude that a < h(( 9, i )). This completes the proof that a is a K+-semi-accessible ordinal. w D. Proof of the Banvise-Kunen-Morley theorem
We now prove that the last theorem.
b,
Q
a=(,+)by means of an argument parallel
to that of
4.5.16 (Barwise-Kunen-Morley). Let 'p be an L,+,-sentence, the THEOREM models of which have bounded cardinality. Then rhere is a K+-accessible ordinal a such that all models of cp have cardinality < am.
PROOF.Let po= Sm('p) u { X , <, F } , where X (unary), <,F (binary) are new predicates; without loss of generality we assume po is endowed with be as in the proof of 4.5.15; let 9 be Skolem functions; let (cil i > l}, pnnrpm a tidy frame for 'p in p,. For each n > 1 let the set r ncSent(9) consist of: (i) 'p? (ii) " X is an infinite set", (iii) " < linearly orders X " , (iv) " F maps X one-one, onto the universe",
Ch. 4, 0 51
FURTHER HANF NUMBER COMPUTATIONS
279
(v) " X is a set of n - \k-indiscernibles satisfying the same formulas as
CI,...,c,":
VV,
. ..u,
+
for all n E w and all formulas 0 E with n free variables, ( 4 A:= J(ci), (vii) cI < * . * < c,. Let To consist of (i)-(iv). Let 5, denote tI, family of all complete, tidy and closed subsets of Sent(\krp,) containing r,; as before T = UnEU5,is definable by a bounded-quantifier formula of ZFC with parameters in H(K+); the relation iis the same as in Theorem 4.5.15. We prove that (5, < ) is well-founded. Suppose not, and let Z,>Z,>
. - *
>En>
. * f
be an infinite descending chain. By Corollary 4.5.4 each C, has a model a,, in which ( X , , <,) = (X'm, is a set of n - \k-indiscernibles (by (v)); (ii) and (v) show that the assumptions of Lemma 4.5.8 are satisfied. Therefore, there are structures 23 containing a set ( Y , a ) of indiscernibles of prescribed order type (hence of arbitrarily large cardinality) such that <"n)
(%,,+,.
..&)=*(%YI,.
. .J,>
holds for any increasing sequence y l a . . . a y , in Y . Furthermore, by the last assertion of 4.5.8 for Y's of power > K , such 23's can be chosen so that g=7. Therefore, the structures ('23,Y , a , f , y l,...,y , ,...) (where f is a bijection between 1231 and Y , and y l , ...,yn,... is an arbitrary 4 -increasing sequence from Y ) are models of Em= UnEUE,-hence also of cp-of arbitrarily large cardinality. This contradicts our assumption that the mo) is well dels of cp have bounded cardinality, and shows that ( 5 , i founded. As before, p denotes the rank function of (5, i ).
-< 3W.(P+ l)(A), where P=p(C)
CLAIM.If Z E 9,and B t- C, then X " -
and
A=2'.
Assuming the claim, we show how to complete the proof of the theorem. For n=O the claim says that X " , and by (iv) also B, has power < 3 W . ( p + I ) (for h ) ,all models 23 of Z. But every infinite model \u of cp can be expanded to a model 23 = (%AX,< ,F ) of some Z E Yo by choosing X to be of power B, F any bijection between X and IBI(,< any any subset of
280
INFINITARY LANGUAGES WITH FINITE QUANTIFIERS
[Ch. 4, 5 5
order of X , and I: =Th"*"('H)n (+ rpo). (Note that p0 does not mention any of the ti's.) Therefore, we conclude that every model of cp has power < 3,.ts+I,(h), where .$=A(( 5,i )). We proceed now to a simple cardinality computation; by result B, ' P E H (K + ) ; since H ( K + ) & R ( K + )there , is Y < K + such that ' P E R ( y ) ; hence \k < a,, and h < 3,+ = a8;thus we get:
8, w, 1 are K+-accessible because they are < K + . By definition 5 is K+-semiaccessible; whence, by Theorem 4.5.14, K +-accessible. By Lemma 4.5.12, (Y = 8 +w. (<+1) is also accessible and, as we have proved, all models of cp have power < aa. We return to the:
PROOFOF CLAIM. This goes by induction on P=p(I:) using an argument > 3 w . ( p (A) + I for ) similar to those of $ 3 of this chapter. Suppose that < = <'. For each increasing some 23 such that 'HI- Z. Let X = X ' , let 'P, be the structure of type P,,+~ obtained sequence x = {xI,.. .,x,+ from 'pi by allowing x l ,...,x,,x,+ to denote cl,. . . ,cn,cn+ respectively, and let
the same cell if and Define a partition in [X]n+' by placing x . y in and only if Z , = Z y . Since Z, c\k, there are < 2' = A such Zx's, and therefore < A cells. By the Erdos-Rado theorem (0.5.9 (3), $5, Chapter 0), there is a Y C X such that > 3a.p(h),and every pair of members of [ YIn+' is in the same cell. 0
Let y o = { y l , . . . , y ~ + l }
r
(Brsmfcp).
..,x,
+ 1)
a ~urw+,(%yI
?..
..Y,0+ 1)
for every increasing sequence xI, .. .,x,+ in X . Let f be a bijection between
Ch. 4, 5 51
28 I
FURTHER HANF NUMBER COMPUTATIONS
Y and IB0l; clearly
2 3,.(p.+,,(A), the model 8’and the theory 2’ violate Since 7> the induction hypothesis. This contradiction proves the claim and, thus, the theorem.
COROLLARY 4.5.17.
b, = aa(,+).
PROOF.Theorem 4.5.11 and the remarks following it prove b, Theorem 4.5.16 proves b, < aa(,+,.
> a,,,+,;
EXERCISES 4.5.1. (a) Show that AC,+ is closed under ordinal sum. (b) Prove that AC,+ is closed under ordinal exponentiation. (c) Show K + c A C , + . 4.5.2 (Kunen). For f,g E K , define the relation:
fag
H
there is an a < K such that f ( p ) < g ( p ) whenever a
(a) Prove that if cf( K ) > w and a set L K is linearly ordered by a , then L is well-ordered by a. [Hint: use Chang’s trick explained in the proof of Theorem 4.2.4.1 Let 7, be the supremum of all possible order types of a -well-ordered subsets of K ‘ . (b) Show that 7, is K+-accessible. (c) Show that 7, > K + [Hint: construct a Q -increasing sequence of type K + below an appropriate fE K “I.
Problem. Can a ( K +) ever be a cardinal?
CHAPTER 5
LANGUAGES WITH INFINITE QUANTIFIERS
0 1. The Hanf number of languages with infinite quantifiers In this section we shall deal with the problem of evaluating the Hanf number of Lolu, and, more generally, of the languages LKh,for h >a. In Chapter 4 we dealt with the corresponding question for languages with finite quantifiers. The exact value of h(LK,) was shown to be, in general, independent of the axioms of ZFC (Theorem 4.5.17 and the theorem of Kunen pp. 273-274); nevertheless we obtained within ZFC reasonable bounds for h (LKu), i.e., bounds expressible by operations of cardinal arithmetic in ZFC. We shall see that even this expedient fails for languages with infinite quantifiers: there are no known bounds for h (L,l,l) unless additional axioms are attached to ZFC. The solution to the problem, then, depends upon the extra assumptions. The best investigated case is that in which strong infinity axioms (e.g., the existence of a measurable cardinal) are added to ZFC;most of the results proved in this section hold under assumptions of this type. Only one result (Theorem 5.1.16) is known under the hypothesis V = L which, as we know (cf. Theorem 0.4.29 and Appendix D), is contradictory with the existence of very large cardinals. The techniques used in this section fall naturally into two categories: (1) the use of partition calculus methods and of the techniques developed in $ 2 of Chapter 2, to trap the Hanf number of LulUlbetween two bounds (expressible in terms of certain partition cardinals); in particular we obtain lower bounds for h(Lulol). These techniques were invented and developed by SILVER[ 11, [2]; (2) the use of even larger cardinals-measurable, strongly compact-to give upper bounds for h(Lu,,l), or to show the impossibility of proving that 282
Ch. 5 , $11
THE HANF NUMBER OF LANGUAGES WITH INFINITE QUANTIFIERS
283
certain cardinals are upper bounds; the most significant of these results is Theorem 5.1.12, due to KUNEN[2]. A. Upper bounds
Our first results are next to trivial; they are a very simple-minded translation of first-order arguments that use compactness; however, they give the only known bound for h(Lulun).
THEOREM 5.1.1. Assume there exists a strongly compact cardinal K and that a < K ; let p be any similarity type. If 'pESent(L,,( p ) ) has models of arbitrarily large power < K , then 'p has models of arbitrarily large cardinality, In particular:
PROOF.Let X > K be an arbitrary cardinal; let p'= p u { c pIP<X}, where the cp7s are new individual constants; let:
Let 8' be a subset of Z power < K ; by assumption there is a model 2I of 'p of power > F;it is clear how to make (%,a),,,,, into a model of 2'. By strong compactness, C has a model, which obviously is a model of 9, of power > A .
COROLLARY 5.1.2. If
K
is strongly compact, h(L,,( p))=
K
for any p.
PROOF.Clearly h(L,,( p)) 2 K . On the other hand we have:
THEOREM 5.1.3. If K is strongly compact and both a and p have power then h(L,,( p)) < K . PROOF.Let ible: (*>
T=
max{
F ,a}; then a, 7 <
sent(L,,( p))
K
and since
K
is strongly inaccess-
< 7, < K .
Let X be the set of all L,,(p)-sentences large power; then, by (*),
not having models of arbitrary
284
[Ch. 5, 8 1
LANGUAGES WITH INFINITE QUANTIFIERS
By Theorem 5.1.1,
A, Clearly:
1
= sup{ p p
for all rp E X , where
is the cardinality of a model of rp f .
Since K is a limit cardinal, A: < K (rp E X ) , and sup{X; Irp E X } < K . Hence h(Laa(p ) ) < K .
K
is regular, it follows that
COROLLARY 5.1.4. Assume there is a strongly compact cardinal and call the first such number. If jT < K ~ then , h(Lu,ul(p ) ) < K ~ .
K,,
These simple results suggest the question whether it is possible to obtain better (smaller) upper bounds for h(Lu,ul).A partial answer is given by the following sequence of theorems due to SILVER [ 11 which, in particular, yield the upper bound i(o,) for the Hanf number of the set of prenex-universal sentences of Lulul(p), Q No (cf. Corollary 5.1.8, Lemma 5.1.9 and also Chapter 0, 0 5). THEOREM 5.1.5. Suppose Z is a tidy set of formulas of type p and {BE15 < K } a sequence of structures such that
X(2; (5, E); %J
for each
5<
K.
If ( Y , < ) is well-ordered and % ( 2 ;( Y , < );B), then every prenex-universal LKK( p)-sentence holding in each Bt holds also in 8.
PROOF.Let u be a prenex-universal L,,(p)-sentence such that B51=u for each 5 < ~ .u is (VvrP)rp where P < K and rp is quantifier-free. Suppose %F l a ; then there is fE1%IP such that Bt= i r p [ f ] . Since p< K there is X c Y , 7 < K such that Range(f) c@(X,B)=O. Since rp is quantifier-free, 6 F i r p [ f ] . Let y be the order-type of ( X , < r X ) . Then there is an order-preserving map g : ( X , < r X ) + ( y , E). By Theorem 2.2.15, g can be extended to a monomorphism h : &+By. Then By!= i r p [ h o f ] , contradictingBYl-u.1 THEOREM 5.1.6. Suppose that Sm(%)= p, C -
c
=K.
121,< well-orders C and
c
(1) Zf 7 Q A, (Y EON and K + ( ( Y ) $ ~ , then there is X C such that ( X , < r X ) has order-type (Y and ( X , < r X ) is a set of indiscernibles for 2.
Ch. 5, $11
THE HANF NUMBER OF LANGUAGES WITH INFINITE QUANTIFIERS
( 2 ) If 7 < KO, K-+(a),<" of ( I ) holds.
and
(Y
REMARK. The partition property Exercise 0.5.7.
285
is a limit ordinal, then the same conclusion
K+((Y)~*
for ordinals a was introduced in
PROOF.(1) There is no loss of generality in assuming C = in K define For { xo,. ..,xn-
K
and
< = Er
~.
f maps [ K ] < " into (:?(Form(LuJp))), which has cardinality <2'. By hypothesis there is X C K of type a which is homogeneous for f. By definition o f f this implies that ( X , < Y X ) is a set of indiscernibles for 3. (2) This follows at once from (1) using the variant of Lemma 0.5.14 * K+((Y);" considered in Exercise 0.5.7, p. 58 (which says that K+((Y),'" whenever (Y is a limit ordinal). rn
THEOREM 5.1.7. Let u be aprenex-universal senfence of LKK( (I), where