This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
is ~ cofinally, was not well defined, where ~, has an extension on Ty . have a contradiction. have the following properties. (0) is ~]Jp,A>({p}). have the following properties. (0) E 0 is an unbounded subset of ~ and E
It is easily seen a good p a r a m e t e r
for
Now, there is a El (JY) map g : my onto ~ Jy, so h o g Wis"
a En(J ) map of a subset of ~y onto X. X=J
J Let h be E ~({p}).
Hence it suffices to show that
.
Clearly, X ~ Z
J~"
Let ~ : X ~ JB' B ~ ~. Then ~IJy = id~Jy, so in particular, EJB Also ~"a is ({~(q)}). But look, this implies that a = ~"a ~ JB+I" n n
~"a = a.
Hence we must have 8 = ~ ( a n d h e r e we h a v e u s e d o u r h y p o t h e s i s t h a t ~ m y ) G En(J a) J J~). Thus, in particular, a = ~"a is Ena({~(q)}), so by the choice of q, we see J . a Zn~ ({~ (p)}) E nthat ~(q) = q. Again, it is easy to see that h' = ~ = h o ~ -i ~s skolem f u n c t i o n
for J , so by choice of p, ~(p)
defined by the same ~
n
Lemma ii p l a y s
a direct
But t h e n h , h '
formula (with parameter p) in J , so h = h'.
immediately that ~ ~ h = - i ~ ~(i,x) = h(i,x).
= p.
= ~, of course.
are both It follows
So for i e ~, x ~ J , ~ ~ h(i,x)= Y
Thus ~IX = id[X, and X = J • part
in the proof
o f (P 1 ) - ( P
3).
The n e x t
lena,
however,
is only used during the proof of the lemma which follows it, and may, on first sight, appear somewhat uninspiring. Lermna 12 Let <J~,A> be amenable, p = P~,A'I
If B ~ J p
is EI(<J~,A>), then ZI(<Jp,B>)
Z (<J ,A>). 2 Proof: Case I. There is a ZI(<J~,A>) map of some y < mp cofinally into ~ . Let g be such a map, and let B be Z0(<J ,A>) such that B(x) +-+ ~zB(z,x) for each x e J . p
Define B' by B'(
is AI(<J ,A>).
And since B(x) +-+ ( ~
for ~ e y, x s J . P
Thus B'
~ y)B'(<~,x>), Zl(<Jp,B>) ~- ZI(<Jp,B'>).
-94-
Thus, we need only prove that 7~l(<Jp,B'>
~E2(<J
,A>)o
It clearly suffices
prove that 10(<Jp,B'>)
~ ~2(<J ,A>).
Let R be E0(<Jp,B'>).
Thus R is rud in B' and some parameter p ~ Jp.
p, <J ,B'> is amenable p
to
By choice of
so by lenm~as&2 and63, there is a E0(J@) predicate P and
functions fl ..... fm+k' rud in parameter p, such that R(~) +-+ P(~,fl (~)'''''fm (~)' B' ~ fm+l(~) ..... B' ~ fm+k~)). = B' q fm+k(~)
Hence R(x) +-+ ~Yl ..... @Yk[Yl = B' q fm+l(~) .... ^Yk
^P(~,fl(~) ..... fm (~)' Yl ..... Yk )]"
Now P is certainly E0(J ), and
fl'''''fm+k are rud in parameter p, so it suffices to show that the function b(u) = B' q u is E2(<J ,A>). ~x[x E y +-+ x s u ^B'(x)], Case 2.
It is in fact Hl(<J ,A>), because: y = b(u) +-+
and B' is &l(<J ,A>).
Otherwise.
As before, we must show that 10(<Jp,B>) _~ E2(<J ,A>).
Again as before, this reduces,
by the amenability of <J ,B>, to proving that the function b(u) = B N u is P E2(<J ,A> ) on J . Now, we clearly have P y = b(u)~+ (~x ~ y)(x ~ u ~ B(x)) ~ (Vx ~ u)(B(x) ÷ x e y). Now, the second conjunct here is H l(<J ,A>). Xl(<J ,A>) , which is sufficient. (<J ,A>).
We show that the first conjunct is
It reduces to showing that (~x c y)B(x) is
But look, we know that Case i fails to hold, so this is proved just as
in the proof of le~ma O.16(iv).
(The failure of Case i gives a "replacement axiom"
for E l (<J ,A>) predicates - which is just what is required:)
]
The next lemma is the key step involved in proving, by induction, the as yet unformulated
(P 3).
Lemma 13 Let <J ,A> be amenable, O ~p onto J .
i = O~,A"
Suppose there is a E (<J ,A>) map of a subset of i
Then there is a B ~ J , B ~ EI(<J ,A>), such that ~n(<Jp,B>) = p
~(Jp) N E n + l(<J ,A>) for all n >~ I. Proof: Let u ~ p ,
onto and let f : u ~ J
~l<J~'A>({p}).
be EI(<J ,A>).
Pick p e J
such that f is
Let <~ili < ~> be a recursive enumeration of Fml~ I,
-95-
El ~ B = {li c m ~ x c Jp A ~ <j ,A>~iIx,P)}'
Se%
Now, <J ,A> is amenable,
and hence rud closed, so by lemma6B, B ~ El(<J
,A>).
And
of course B ~-J . P Commencing with lemma 12, an easy induction shows that for all n >. i, Zn(<Jo,B >) CEn+l(<j
,A>).
For the converse,
let R(~) be a En+l(<J
sake of argument,
that n is even.
Let P be a El(<J
c Jp, R(~) ~-+~yl~Y2...~ynP(~,x~). By choice of f, any x ~ J
,A>) relation on Jp, n >~ I.
Assume,
for the
,A>) relation such that, for
Define P by P(~,~) ++ [~,~ E Jp ^ P(f(~),~)].
is ll<Je'A>({p,~})
is rud in B and some parameter 9 < rap.
for some ~ < mP, so by definition of B,
In particular,
P is AI(<JQ,B>).
Again, D = dom(f) is rud in B and some parameter T < mp, SO D is also 81(<Jp,B>). But for
~ c Jp, R(x) -~ +-+ (~z I E D) (~z 2 c D) ... (~z n ~ D)P(~,x), ~ ~' which is thus
En(<J0 ,B>). We are now ready to formulate
(P 3) and prove our promised uniformisation
theorem.
The proof will indicate even more clearly than before the motivation for the projectum. Let e, n >~ O.
A E
"-~
master code for J
c~
is a set A -~J n, A ~ En(J ~), such that whenPc~
ever m >. I, Z (<J n,A>) = ~(J n) n En+m(J~) •
Pc~
m
Theorem 14. Let ~, n >. O. (P i) J
is E
P~
(Uniformlsation Theorem) Then: n+l
-uniformisable.
(P 2) There is a En(J ) map of a subset of ~pn onto J .
(Unless n = O, when the map
is EI(J ).) (P 3) J
has a E
n
master code.
Proof: We prove the theorem
(for all n) by induction on ~.
For ~ = 0, it is trivial.
So assume ~ > 0 and that (P I)-(P 3) hold (for all n) for all ~ < ~. prove
(P I)-(P 3) at ~ by induction on n.
Case i : n = 0. (P I) is already proved
(Theorem I)
We
-96-
(P 2) p0 = 5, so (P 2) is already proved (Theorem i0) (P 3 ) Case
Since
2 : n = m + 1 , m ~ O.
0
pa = a, Let
A = ~ is
n p = Pa for
a 20 m a s t e r
code
for
J
.
convenience,
We first prove that p is the least ordinal such that some En(J ~) function maps a subset of up onto J . To this end, let 6 be the least such ordinal.
Suppose first that 6 < p.
Then
B = {~ ~ ~6 I ~ ~ f($)} is a ~n(J ) subset of J , so by definition of p, <Jp,B> is P amenable.
Thus, as 6 < p, B = B ~ 6
~ J
~ J .
E f(~) +-+ ~ e B ~-> ~ ~ f(~), which is absurd.
So B = f(~) for some ~ g ~6, whence Hence p ~ 6.
definition of p, this means that for some ~n(J ) set B ~ J 6 , Since <JI,B~ must be amenable, 6 > I.
Suppose p < 6.
By
<J6 'B> is not amenable.
If 6 = y + I, then since there is a Zl(J )
map of ~y onto m6, there is a En(J ~) map of a subset of ~y onto J , contrary to the choice of 6.
Hence lim(6).
T < 6 with B n J T ~ J6"
It follows, since <J6,B> is not amenable, that there is
By induction hypothesis, J~ is En-Uniformisable.
T < 6, lemma II implies that ~(~T) n Zn(J ~) ~ J~onto
JT' so this implies
for some B < ~, B Q J such that B Q J then B n J ~
~(j )
O Zn(J ~) ~ J~.
is J6-definable.
is Zr(J6).
= (B Q J ) O J
So as
But there is h e J , h :~T
In particular, B Q J
8 J .
Hence
Let 6 be the least such, and let r be least
r By definition, <J r, B Q J T > is amenable, so if r < P6' P6 r e Jo~ ~ J6' contrary to the choice of 6. Hence ~ ~ pB.
r By induction hypothesis, there is a Er(J ~) map g from a subset of ~p$ onto J . since B ~ J~ ~ J6+ I and B Q J~ ~ J~, 6 + I > 6, or 6 ~ 6. map g' from a subset of m#~r onto m6.
And
Hence there is a Er(J 6)
Then f o g' is a En(J ~) map of a subset of
r ~P6 onto Je.
r But we have established that P6 ~ r < ~' so this contradicts the
choice of 6.
Hence 6 = p.
(P 2) follows i~mnediately from the above result of course. We turn now to (P 3).
By induction hypothesis, let A be a Em master code for J .
Set q = pm for convenience. By the above, let f be a En(J ) map of a subset of up onto J~.
By choice of A,
f' = f p (f-l,,jq) is a El(<Jq,A>) map of a subset of up onto Jq . n = Pq,A" I it is clear that ~ = p~
By choice of A,
Finally, of course, <J n ,A> is amenable.
So, we may
-97-
apply len~na 13 to <Jn'A> to obtain a EI(<J ,A>) set B ~ Jo such that Zr(<Jp,B>) = ~(Jo) ~ Er+l(<Jn,A>) Er(<Jo,B>) = ~(Jo)
for all r ~ I.
NZn+r(J ~) for all r ~ i.
Finally we prove (P I).
J
n
function uniformising R.
f-I
Since f is Zn(J ), so is f-l.
Set r = f = r o f-i
function which uniformises R.
Let R(y,~)
Then R is Zn+l(J ~), and hence ZI(<J0,B>).
is En-Uniformisable , by induction hypothesis,
function uniformising
master code for J .
Define, with f as above, a relation R on J0 by
R(y,x)~ +-+ [y,x~ e J0 ^ R(f(y),f(~))]. Let r be a ZI(<J0,B>)
Hence B is a Zn master code for J~.
Let B be, as above, a Z
be a Zn+l(J ~) relation on J .
By choice of A, B ~ En(J ) and
But
so we can let f be a Zn(J ~) It is clear that r is a ~n+l(J )
The proof is complete. I
The above results give us two (intuitive) equivalent formulations of theZn-projectum: Theorem 15 Let ~,n ~ O.
Let 6 be the least ordinal such that some Zn(J a) function maps a
subset of ~6 onto J .
Let y be the least ordinal such that @(~y) O En(J~) ~ J~.
n
Then 6 = y = p • Proof: That ~ = 0~ was actually proved during the proof of Theorem 14. know that J 6 < y.
is Z -uniformisable, n
Now by definition,
Z = {$ I ~ ~ f(~)}"
lemma Ii tells us that 6 ~ y.
let u ~ ,
Then Z ~ ~
and let f : u onto ---~ J
Since we now Assume
be Zn(J ).
Let
and Z g Zn(J ), so by definition of
y, Z s J . Thus Z = f(~) for some $, so ~ e f(~) +-+ ~ ~ f(~), which is absurd. Hence 6 = y.
QED
Finally, in this chapter, we define some specific master codes which have the advantage of being preserved under condensation arguments. some elementary results concerning embeddings of
To do this, we require
J 's.
Lermma 16 Let M, M be transitive, with <M,A> rud closed.
Suppose
be rud in A and let f be rud in A by the same definition. ~(f(x)) = f(~(~)).
~: <M,A>-<
<M,A>.
Let
Then for all ~ e M,
-98-
Proof: Clearly, ~(x q A) = ~(x) ~ A for all x e M. <M,~>
is E 0
, SO ~(g(x)) = g(~(~)).
Also, if g is rud, then g ~
The result follows by lemma 6.2 and
induction on the definitions of ~ , f. Lena
17
Suppose ~ : J~-<~0 J~"
Then for any ~ < ~ ,
Proof: By induction on ~ < ~ .
~(S~) = S (~).
Clearly, ~(S 0) = ~(~) = ~ = S O = S~(0).
Also, by
lemma 16, ~(S +i) = ~(S(S )) = S(~(S )), so by induction, ~(Sv+ I) = S(S (.~)) = S (~)+i = S (~+i). Let X = ~(S%).
Finally, suppose lim(%) and that v < ~ -> ~(S ) = S (~).
Since S k is transitive,
JN ~ (~y ~ S%)(~x g y)(x e S%).
as ~ : J--:
J , J ~ (~y s X)(~x ~ y)(x ~ X). Hence X is transitive. E0 lim(%), so % = ~$ for some ~, and S k = J~. By le~na 6.18, therefore, <S
S~ El "
I ~ < %> is (uniformly)
definition of this sequence, Then since ~ : J N - < ~ 0 J X ~ ~.
But X e J
limit ordinal ~.
Using the uniform, parameter-free,
So Now,
El
let ~ be the sentence which says ~x~)(x ~ S ).
and S% ~ J~, whence
is transitive,
(~S%)
: Sk-< X, and S% I= ~,
so this can only happen if X = S~ for some
Again, ~()~) = ~(On ~ S l)
=
On A S
=
T
,
SO
~(S l) = S (~).|
Lemma 18 Suppose ~:<J~,A>-<~0 <J ,A> and that sup(~"~)
= ~.
Proof: Suppose ~ is E 0 and ~<j ,A> ~y~(y, ~(~)). ~<j ,A>(~y ~ S (~))~(y, ~(X~).
Then ~ : <J ~ ,A>-<~I <J ,A>. Then for some ~ < ~ ,
we have
So as ~ is E0-elementary, l=<j_,~>(~y~ c S )
(y, ~), by lemma 17. Lemma 19 Suppose <J_,A>~ is amenable and ~: J ~ - < ~ 0 J A ~ J
such
that
~:
a
Thus A is
x
,~t>-~
~
Proof: Let A = U
<Ja,A>
<J
is
amenable.
n (A n S ( , ~ ) ) .
<J ,A> a n d <Jc~,A> i s E0~
_ ~(A ~ S ). the unique For
let
cofinally.
amenable.
(Since <J_,A> is amenable, this is quite sound.)
A ~ J
such
x ~ Ja"
But <J~,A> i s
Then there is a unique
that
Pick
amenable,
"~(A c~ S ) = A f'l S "J < mE w i t h
x ~ S (v).
for
all
v < wE.
T h u s x clA =
s o A c~S,~ e J_a and s o A c~ S ( ~ ) e
Ja.
So,
-99-
as Ju is rud closed, x ~ A
= x ~(A ~S
(v)) g J .
By a similar trick, if x e Js, then ~(x n A) = ~(x) % A . ~<j5,~> #[~].
Let u e J~ be transitive with ~ e u.
is E0-elementary , <~(n), A ~ ~(u)>
1= ~[~(~)].
Let ~ be E 0 and suppose
Thus ~ ~[~].
So, as
But ~(u) is transitive, so
b < j ,A> ¢ [~ (~)]" n The standard codes, A , and the standard parameters, p~, are defined by induction as follows.
Set A 0 = pa0 = @.
code for J .
n are defined, and that A~ is a gn master Suppose A~, p~
n+l By theorem 14 there is a El(<Jpn, A >) map of a subset of ~o~ onto
J n, so we may define P~ n+l = the <j-least p e J n such that every x ~ Jpn is El-definable in <J u,-A n>~ from Pe P~ ~ P~ parameters in {p} O Jpn+l. Let <~ili < m> be a recursive enumeration of Fml~ I, and set -El n > ~"l[ x, n+l~ A n+l = {li g ~ ^ x e Jpn+l ^ ~<jpn,A~ P~ J} Then An+la is a En+l master code for J~.
For, clearly, A TM~ g J n+lP~
<J^n~e, An>~ is amenable, so A n+l ~ is E l(<Jpn, A >), and hence En+l(J ). show that if m ~ I, then Em(<Jpn+l, An+l~) ~ = ~(Jpn+l ) ~ Em+n+l(J~).
And So, we must For this, it
clearly suffices to show that Em(Jpn+l' A~ +I>) =~(jp~+l) ~ Em+ l (<J n, A~>).
But
look, <Jpn, A~ > is amenable, pn+l = p 1n,An , and there is a El(<Jpn, A~>) map of a n+l P~ ~ subset of mp~ onto J n, so this follows from lemma 13. P~ As we have already indicated, the main point of these definitions is that the standard codes and standard parameters are preserved under condensation arguments. To prove this, we require an obvious generalisation of the two concepts for the case n = i. Let <Jp,B> be amenable, and set p = P~,B"
Let
P~,B = the <j-least p ¢ J~ such that every x e JB is El-definable in <J ,B> from parameters in {p} ~ J . P A1 6,B = {[i e ~ A X ¢ Jp ^ ~ p , B >
~i Ex' PB,B ]}"
1 Then AB, B is a E 1 master code for <JB,B >, and we clearly have:
-i00-
°
n+l = pl n+l = I n+l = AI n n" ps,A ~ n n, PB Pnn~B,An'B A8 p~,A~
Pp
Lemma 20 Let ~ > I, m,n ~ 0,
Let <J~,A> be amenable,
(i)
There is a unique
(2)
There
and let ~: <J_p,A>~Em<Jp~,A n> .~
Then:
e ~ p such that ~ = p~ and A = A~"
is a unique ~ ~ 7, ~ : J --<Em+n J , such that for all i ~ n: (a)
~ i z(p~)
i = p~
(b)
(~Dpi) :<J~,.
and
A_l>~< ~ ~
< J .p~ ,
m+n-I
A~ >.
a
[We call J~ ~ J the canonical extension of <J~,~> ~ <J n' An>'] Proof:
By induction
n - I.
on no
For n = 0 the result is trivial, -
so assume it holds
n
Let m >~ 0, and let z:<J~,A>-< E
for
-
<J n' A >, where <Jp,A> is amenable. 0~ to show that there is a unique <J~,B> such that m
It clearly
suffices
= 0~,~, A = A~,~,
and a unique ~ -~z such that ~(p~,~)
= pn and such that
~: <J~'B>-~E
<J n-l, An-l> (For then, by induction hypothesis, there is m+l P~ ~ " I n a unique ~ such that B = @n-i and B = A n-l ,~ whence ~ = 0~,~ = 0~ and
% = A -I - = A n etc.) B,B E' Let X = {x ~ J n_ 1 I x is El-definable
Pc~
ran(m) Thus
in <J n-i' An-l> ~
Po~
from parameters
in
O {pn} }. X-< ~ <Jpn-l'
~: <J~'B>-<~ ~i
A n-l> ~ '
Let @-l : <X, An-I ~ ~ X > ~ <J~,B>.
<J n-i An-l>
Pa.
' O:
and set A = A n N J ~ .
"
We show that ~ = ~ -- "
Then 7:
Thus,
already
Define P ~< O n by ~05 = sup~)<~z(~)
<J-,A>-
so by lemma 18,
~
: <J~,A>-<EI<Js,A >. y e X ~ J~.
P
We show that ran(T)
Then for some i e m and some x E ran(~)
such that ~<~ ~n-l>~.[
ran(z)
= X nJ~.
pn]. ~
its transitivis ation.
This means
'
ran(~) c X ~ J~.
y is the unique y e J n-i
Pc~
Thus y is the unique y e J n- such that p 1
~ut look, m: < J ~ , A > - < Z # ~ , A > = X f~J~. P
Clearly,
, so as x e ran(m),
that m -I is " the unique
But X ~ J~ is an E-initial P
y ~ ran(T)
collapse
also.
of X N J~ onto
segment of X and 3 -I is the
Let
-I01-
unique collapse of X onto its transitivisation, J~, so - l ~ x collapse of X ~ J~p onto its transitivisation. ~, therefore, ~ J ~
= ~, so ~ m ~.
nJ~ is the unique
Thus ~-I~x ~ J~P = - I .
By choice of
Next we show that ~: <J-'B>'~-P ~m+l<JP~n-~'~ An-l>a ;
<Jn-l' An-l~ ~ -" If m = 0 we are already done, so assume m > O. m+l P~ Let y be Em+l-definable in <J n - l , A.n-l> from parameters in ran(n) O {pn}. We must i.e. that X - ~ E
show that y ~ X.
Let ~ be a Em+ 1 formula such that y is the unique y g J n-i such
that ~< j n-l, An-l>~[y' +x, pj,n
where +x e ran(~).
Let ~(v,v,q)÷ -
...z m ~(~,v,~,q), where ~ is Z l if m is even and ~i if m is odd.
~ZI~... Let h be the
canonical E l skolem function for <J n-i ,An-i>, and set h() ~ h(i, <x,pn>). Suppose z e Jpn ~ X. z, pn .
So as
Then h(z) is 0~El-definable in <Jpn-l' An-l> from the parameters
z,p~n ~ X_
~[~<~)'~' P~] i.
that the condition ~<J n-l'A~-l>
So it suffices to show
satisfied b~ some ~ ~ X OJ~n.
n Pa By definition of pc, every x e Jpn-I is El-definable in <J n-l, A n-l> from parameters in {pn} 0 J n, so we clearly have h"J
P~
P~
= J n-l"
P
Hence, it suffices to show that
the condition jpn ) ... (-zm ¢ Jpn)~ ~<j n-i ,An_l>~h(z), h(z), ~, p:]] Pa n-l> is satisfied by some z e X n Jpn' But A na is a El master code for <Jon-l_~, A , (*) (~z I s Jpn ) (Wz 2
n,An> (I, pn) ~
so (*) is a Lm Pa
unary predicate on J Pan-
By assumption, ~:<JD,A >
-<~ <J n, An>, so as ran(~) = X GNu, X N J~ -4Em <J0 n, An>.
hm Pe
-c~
So, as
+x, p~n e ran(n) V {p ~ }, (*) is satisfied by some z e X ~ J~ g X a J n, and we are P~ done.
Thus ~ is Em+l-elementary. =
We
prove
that
-
-
Claim: A = {li s ~ ^ x e J_ ^ ~<JB_.~>+i[~' To see this, observe that as ~: <J~,A>~Em And by definition of
and
=
~]~.
<J n,An>,a A() ~-+ An(). Pa
A~, A~() ~ ~E13 n_l,An-l>$i['lt(x), P~I" Pa c~
Finally, as ~: <J~,B>-<EI <Jpn-l,A n-I a > and ~(x), Pan e ran(~) -
El ,An_l>~i[~(x ) ~<J n-I P~
we have
E1 phi iff ~ <j~,~>~i[x,P].
-102-
The claim follows immediately. We show that
~ = p~,~.
By construction of <J~,B>, every x ~ J~ is El-definable
in <J~,B> from parameters in J~ u {5}.
Thus if h is the canonical E l skolem
for <J~,B>, J~ = h"(~0 x (J~ x {p})).
function
a subset of ~
onto J~.
Z = {$ e mPI~ ~ f(~)}"
This implies ~ >. p!B,B"
'
For suppose not.
Z is thus a EI(<J~,B>) subset of J~ ~ J
is amenable, whence Z = Z n ~ e f(~) +-~ ~ ~ f($)
Hence there is a EI(<J~,B>) map f of
~ J I
P~,~ ~
a contradiction.
C e (~(J~) ~ EI(<J~,B> ).
J~.
Let
i
, so <Jpl _, Z>
Thus Z = f(~) for some ~ ~ ~ , whence
We show that ~ ~< p ! _
8,B
also.
As we remarked above, every x ¢ J~ is El-definable in
<J~,B> from parameters in J_P u {~}, so clearly C e E~J~ '~> (J~ O {p}). C is therefore rud in A.
By the claim,
But <J~,A> is amenable, so <J~,C> must be amenable also.
Since C was arbitrary, this implies that p ~< p ! _ B,B" Next we show that ~ = p! B,B"
Hence
D = pl _ B,B"
Since every x ~ J~ is El-definable from parameters in
J~ o {~} in <J~,B>, it suffices to show that ~ is the <j-least such. not, and let p' < j ~ also have this property. some x e J~.
Let
Well suppose
In particular, p = h(i,<x,p'>) for
Now, h is the canonical S 1 skolem function for <J~,B>, h is the
n-I ,An-l>" canonical E l skolem function for <Jpn-l, An-i> ~ , and ~: <J~,B> -~Ll <J p~ c~ Hence p~n = ~(}) = ~(h(i, <x, p'>)) = h(i, <~(x), ~(p')>). X f] J n. P~
Note that ~(x) = ~(x)
By choice of pn, every y E J n-I is El-definable in <Jpn_ I , An-l> ~ from P~
a~
parameters in J n O {pn}. So by the above, every y E J~n-i is El-definable in P~ <Jpn 1 ,An-l> from parameters in Jp~n <){~(p')}" But p' < jp, so ~(p') < j ~ ) = pn, so this contradicts the choice of pn.u Hence ~ = ~,~. Since ~ = pl - and ~ = p~,~, the claim implies immediately that A = A~,~. ~,B
This
completes the existence proof for the lemma, and we turn to the question of uniqueness.
First we show that there is at most one <J~,B> such that p = pl~,B_ and
= A~,B . I_
For let <Js0,B0> and <JB "BI> be two such. Set P0 = pIB0 ,B0 and
Pl = pl For each j g ~ and each ~ s J ~I 'BI " P' (x)
~ ~ >~j[<~> p0] iffA(<j ~ > ) i f f > El Cj[<~>, Pl]. <JB0~B~ ' , <J~l,]~l>
-103-
Let h.l be the canonical E l skolem function for <JBi, Bi>, i = O, I. hi(<J,x>) = hi( j, <x, pi >), i = O, I.
Then JB. = h'"J-'l P each i. i enumerates all of Fml~ I, so if x, y E J~, then by (x):
Set
But <~jlJ e ~ )
h0(x) E h0(Y) iff hl(x) c hl(Y), h0(x) = h0(Y) iff hl(x) = hi(Y), and B0(h0(x)) iff Bl(hl(x)). by ~(h0(x)) = hl(X).
Hence we may define an isomorphism 0:< J~0'B0> =~ <JBI 'BI>
Since JB0, JBI and transitive, ~ must be the identiy, so
B 0 = B I and B 0 = B I. such that Finally, suppose that there are ~0' 01 ~ ~' ~i: <J~,B>-< Z 1 <Jon-i , A n-l\ ~ ~' n i = O, i. Let h, h be, as before, the canonical Z I skolem functions ~i(~) = p~, of <J~,B>, <J n_l,A n-l>, respectively. Then for x e J~, j g ~0, we have P~ ~0 o h(j, <x, ~>) = h(j,<~ (x), pn>) = ~i o h(j, <x, p>). So, as h"(m × (J~ x {~}))
: J~' ~0 = ~I" I
Chapter 8
THE COMBINATORIAL PRINCIPLES []~
In this chapter we shall establish, for later use.
Let K be an infinite
in L, a powerful
cardinal.
By
combinatorial
principle
[]<, we shall mean the following
principle: There is a sequence
< K+ ^
lim(%) > such that
:-
(i)
C% is closed and unbounded in %;
(ii)
cf(~) < < + I C% I < K ;
(iii)
if y is a limit point of C%, then Cy = y n C%.
Note that by (ii) and (iii), if cf(l) = ~, then otp(Cl) = K. We shall prove that, in a very strong way, V = L -> ( V K )
[3 . K
First some definitions. Let e ~< ~8, lim(e).
We say ~ is regular at 8 iff there is no Js-definable
of a bounded subset of ~ cofinally into ~.
We say ~ is In-regular at S iff there is
no [n(Js) map of a bounded subset of e coflnally into ~. B iff ~ is In-regular at ~ for all n. obviously
map
Clearly,
If V = L and e is singular,
~ is a regular at then there are
8, n such that e is not In-regular at 8.
Let ~B >~ ~ > I.
We say that 8 is s-minlmal
iff for some p e Js, we have for
all X, p e X-< J 8 ^ The following
~ rh X e On ÷ X = J~.
lermna is extemely useful, and is clearly related to the concept of
~-minimal i ty. Lemma I Let 8 ~< y, X is transitive
c j . Y
There is a smallest N -< J
(and hence N
L and IXI < 8, then N
N
such that X c
N and N ~
O
Y O O e On).
Furthermore,
if e is regular in the sense of
e E O.
Proof: Let N O be the (canonical)
skolem h=ll of X in Jy, and set ~0 = sup(N 0 n
e).
-105-
By induction, let Nn+ 1 be the (canonical) skolem hull of Nn set Sn+ I = sup(Nn+ 1 ~
8).
Let N = ~ n < m N n .
u an in J y and
The lemma follows at once.
There are many variations of lemma i, some of which we shall use without particular mention. proof.
All variations have the same u-iteration idea behind their
The same idea also gives our next lemma.
Lemma 2 Let s > ~ and suppose that for some ~6 >~ s, s is regular at B and 6 is sminimal.
Then cf(~) = ~.
In fact, there is a 11(J6+i ) map of ~ onto a cofinal
subset of ~, so s is not ll-regular at B + I. PrOof: Pick p e J6 so that p ~ X-< JB ^ s ~ X e On -~ X = J6"
11 skolemfunction
Let h be the canonical
for JB+I' and let H be a IOJ6+I predicate such that
y = h(i, x) +~+ ( ~z c J6+l ) H(z, y, i, x), Define hj, j ¢ ~, by y = hi(i, x) +-+ y, x ~ ~ 6 + j
^ (~z
c S ~+j) H(z, y, i, x).
Note that each hj e J6+l' and that the sequence
But p e Y and ~ = s ~ Y
J6+1"
e On.
Let Y = X
n
J6"
Then Y -< J6' as
Thus, Y -- J6' so ~ = s n Y = s q J8 = s.
The sequence <s i I i e ~> is clearly II(JB+I) , so as s = ~ = suPiE ~ si, it suffices to show that ~. < s for all i c ~. i definition, s 0 -- ~ < ~.
Suppose ~i < s.
We prove this by induction on i.
Now, h i N J6 is Js-deflnable, and since
s I. < s ~< 6, there is a function in J6 mapping s i onto J~i definable map of ~ionto X i.
By
Thus there is a J6-
But si+ 1 = sup(s ~ X i) , so there is a J6-definable map
of ~i onto a cofinal subset of ~. . l+l
Since ~ is regular at 6, this means ~i+l < ~" I
-106-
Theorem 3 Assume V = L.
Let < be an infinite +
and let S
be the closed
+ consisting of all ordinals ~ such that ~ < ~ < K , ~
unbounded subset of R and ~ < ~ ÷
cardinal,
I~I J~ ~ K.
Then there is a set E
~
S and a sequence
1%
= ~, 8 S>,
such that: + in K ;
(i)
E is stationary
(ii)
C% is closed and unbounded
in %;
(iii) If y is a limit point of C%, then y E S, y ~ E, and C
= y ~ C%. Y
Proof:
Let E = {~ s S I ( ~B > e)(e is regular at B and B is e-minimal)}. We show that E is stationary
in ~+
Let C c <+ be closed and unbounded +
Let X be the smallest X ~ J regular,
+
~ = X ~
~(C) = C n ~, ~(S)
+
~ < .
Well,
by definition
Let
= S ~ e.
closed and unbounded that e s Eo
++ such that
in e, so ~ ~ So
= ~(S) is
~ e C, so it will suffice
to prove
regular at B. And
C>), then we clearly have
I I s S> by cases.
For this we require
some
Let B(e) = the least B ~ ~ such that
Let n(~) = the least n such that ~ is not In-regular
b e any u-sequence
For the remaining n(e)
cofinal
at ~(e).
in ~.
cases, we assume ~ does not fall under Case I.
= I and 8 = ~(~) is a successor
Let B = T + Io
~0(JB)
) = ~,
c~ < ~ . I
Let C
~< T.)
in ~+, S Q e
j$ ~ j ++,~ is certainly
If ~ s S, then ~ is not regular•
is not regular at B.
Case 2.
% (K +
s On * Z = JB' so B is s-minimal.
We define the sequence
Case I.
Then ~ < ~ , and, clearly,
Similarly,
as ~(<+) = ~ and - I :
~ On.
+
Since S is closed and unbounded
of X, if p = ~(<S,
p s Z-<J B a Z ~
notation°
~: X ~ J~.
in K +
+ . Since K ~s
Let u ~ y predicate
fi(~) = q +-+ ( ~ z
We show that cf(~)
= ~.
ordinal. (Note that since lim(~), we have
< ~ and let f: u ÷ ~ be Z (J$) and cofinal 1 such that f(~) = q ~ +
( ~ z s JB) F(z, n, ~).
~ S~T+.)I F(z, q, ~).
Then fi c J8 and fi
in ~. Define
Let F be a fi' i c ~, by
=- JT' so fi is JT-
-107-
definable.
But ~ is regular
suPiem ~i = sup(f"7) Let C
= e.
at T, so ~i = sup(fi"Y)
Hence
be any ~-sequence
For the remaining
cf(~)
of E.
in ~.
under Case 2, so we have already =
Case 2 will be required
By choice
@(~y)
of B, there is a ~n(JB)
into ~ such that f ~ J~o
Since ~ ~S,
Note
that by
taken care of
later.
n Then PB = <"
6 = B(e), n = n(~).
Since p~ is the least y such that n PB ~ ~"
clearly,
cases, we assume e does not fall under Case 2.
The fact that E
Claim A: Let e sS,
But,
= m.
cofinal
virtue of le~mna 2, every e s E falls all members
< e"
N ~n(JB)
~ JB' and < is a cardinal,
map f of a bounded
it is easy to obtain,
subset
using
of ~ cofinally
f, a ~n(J~)
subset
n of ~ not in J~, so O~ = ~o Case 3.
n(e)
= i & lim(B(~))
or else n(e)
> i.
n-I Set B = B(~), n = n(~), ~ = @(e) = O@
n-I = AB .
A = A(~)
(So p = B and A =
if n = I). Note that,
if n > i, then e is ~
Let h be the canonical
~I skolem
n-i
-regular
function
at B, so in all cases,
e ~< P.
for <J , A>. P
Using claim A, let p = p(~) = the <j-least
p g J
such that h"(~ x (< x {p})) P
=J
. P Let h have the
(uniform)
~i definition
y = h(i, x) +-+ ( 3 z
~ J )H(z, y, i, x), 0
where H is ~~0<JP ' A> For T < p, set y = h (i, x) +-~ y, x ¢ J <J~, A ~ JT > is amenable,
hT is its canonical
Define a map g from a subset g(m~ + i) =
~ J )H(z, y, i, x). T
~Yl skolem
function.
I h(i, <~, p>), if h(i, <~, p>)
Let r I' F 2 be the uniformly AF2(~)
~ (~z
of K onto ~ by
otherwise
= my + i + Fl(~) = i
T
undefined.
~I functions
= v.
such that
E
Thus,
if
-108-
Set G(z, I(<JP' A>)
T, ~) +-+ ~, T < ~ a H(z,
(with parameters
p and,
r, rl(.) ,
if ~ < p, e as well)
p>),
Thus G is (uniformly)
(for amenable
<Jp, A> with
p e Jp). Clearly,
g(%)) = T +-+ ( ~z c Jp) G(z,
For X
Jp, set ~x = sup(~
=
Define reeursion
functions
T, u), a uniform El definition
of g.
c~ X).
k: @ + K, £: @ -~ ~, m: @ ÷ p for some
@ .< < by simultaneous
as follows.
k(%)) = the least r ~ dom(g) £(%)) = ~x~' where
X
= hm(v)
~ + i), where
such that g(T) > £(%)) and T!
I£(%))I Jg(r)
~ <.
(~ × (< × {p})).
m(O)
= max(<,
m(%)
= sup%)<% m(~)), if < p (otherwise
such that p e Jn+ I.
n is the least ordinal undefined),
for lim(l)o
such that g o k(~) < y and A ~ Jm(~)
m(%) + i) = the least y > m(~)
£(~), m(%)) e hy"(~0 x (< × {p})) Suppose m(%)) < p is defined.
and ( -~z a Jy) G(z,
Then £(9) < ~.
For suppose ~x
e J
Y
and
g o k(w), k(9)).
= ~"
Then hm(%) )
%) maps < cofinally
But hm(%) ) is [l(<Jm(9)'
we can find T < p such that A r~ Jm(v)
amenable, contrary
into ~.
to r < p Z 8.
Hence
It follows
the recursion
down when m(%)) = p.
m(%)) < p + m(~ + I) < p, so this means limit ordinal
@ ~< <.
g o k is monotone;
(b)
k is monotone°
(c) U,<% (d)
is JT-definable, is defined.
Clearly,
that k, £, m are all defined on the same
and in fact £(~) < g o k(v) < £(%) + I) for all %).
(By (~), g o k(%) + I) < £(9),
and [£(%))[Jgok(%)+l)
~< K, so by
of k, k(v) ~< k(~ + I).)
£, m are normal°
(For £, note
hm(%))"(to x (< x {p})) =
that if lim(%)~
X% = h t.,"(~ × (< x {p})) mkAJ
[J <% X .)
~ < %) ÷ m(~) e X%).
Claim B.
hm(9)
We have:
(a)
definition
e Jr' where
So, as <Jp, A> is
that, as ~ e S and g is onto, k(9)
also
only breaks
A ~ Jm(~) >).
sups< 0 £(~)
Suppose not.
= ~o
Then sup~
< P, for if not,
then
=
-109-
~v<0
Xv = hp"(~ × (K x {p})) = Jp, so supv<0 ~(~) = ~.
But look, to say that
SUPv<8 m(v) < p is to say that the recursion never broke down below <, i.e. that 0 = ~.
Let ~ = SUPv< ~ £(v).
Since ~ < ~ s S, there is y < a such that I~I JY ~ <.
Since g is onto, we may pick ~ < ~ with y < g(w) < a.
Now, r s dom(g), g(~) > ~(~),
and I~(~)I Jg(~) ~ ~, so by definition of k, k(r) g ~.
So, as k is monotone, k(~) = w.
So, by (a) above, £(T + i) > g O k(r) = g(r) > ~ = supv< ~ £(v), which is absurd, proving claim B=
Hence, set C
= {~(v) Iv < ~}, a closed unbounded subset of a.
This completes the definition of
I a ~ S>.
We must verify condition
(iii)
of the theorem. Let ~ < a be a limit point of C . % < e with ~ = ~(%)o
Then a must fall under Case 3 above.
Since ~ is a limit point of Ca, ~ = ~(%) = supv< % ~(v).
definition of k and inequality
(a) above, we see that ~ c S.
Pick By the
Hence C-- is defined.
We show that C-- = ~ n C . Note that since lim(%), the definition of m ensures that <Jm(%), A q Jm(%)> is amenable.
We shall use this fact without mention in what follows.
Claim C.
~
X%.
Since ~ = £(%) = sup~<% E(v) = sup~<% ~x ' it suffices to show that v < X -~ ~X
--
X%.
required,
But look, v < % ÷ ~xp c X%, and since a ~ S we have J~ IJm(%) ~ K, SO as K = X%-~y ~ < % "*" e v
Let ~
-i
~ : <X%, A r~ X%> ='~ <J~, ~>.
~I
~
X%, a s
v
Thus ~: <J~, ~>'<~I <Jm(%)' A (I Jm(%)> and
~: <Jp--, A>-
J6 be the canonical extension of <J~, ~> ~
(If n > l~Ithen in fact ~: J~ "<~n-I JB') Thus, in particular, ~ = p~-I , ~ = A~-I . By claim C, ~ 7
Set ~ = - I (p).
= id[7, so ~(7) = e.
Let ~ be the canonical ~i skolem function for <J~, ~ . = -i
A> (by lemma I0 <Jp'
Clearly,
o hm(~) o ~ and ~ has the canonical ~i definition y = ~(i
~(z, y, i, x), where H = ~-l"Ho
x) +-~ ( ~ z
~ J~)
-Ii0-
The following diagram sums up the situation:
k=A
i
n
Claim D.
p[ =
As in claim A, we must show that
~(<) ~ [n(J~) ~ J~.
Define a map g from a
subset of < into ~ by T = ~(9) ++ ( ~ z c Jm(%)) G(z, T, n). Then g is A <J--, %> Jm(x) > ~i <Jm(%)' (p, ~)o But g _~ ~ x ~, so -I,,~ = g, so g is ~I P (~' ~)" nn-I Since 7 = p I and ~ = A-p ' this means that ~ is ~n(J~). But by definition of m, k"% ~- dora(g) and g~(k"~) = gI(k'hj. v < % ÷ ~ in -~.
< g o k(~) < ~
~+i
So as, ~(~) < g o k(v) < ~(~ + I) for all v,
, so g o k"% is cofinal in ~
x~
= ~, whence g is cofinal
Now, "~: J~-
regular".
Hence g ~ J~o
So, as ~ g S, this easily implies
~D(~) ~ ~n(j~) ~ j~, as
required° Claim E,
[ = $(~).
If ~ ~ ~ < ~, then ~ is regular at ~.
For if not, J ~ w o u l d
contain a cofinal
map of a bounded subset of ~ into ~, whence, as ~: J ~ y $ @ , ~ w o u ~ c o n t a i n map of a bounded subset of ~ into ~, which is not true. of
a cofinal
But look, ~ is a ~n(J~) map
a subset of K cofinally into ~, so claim E is proven.
Claim F.
n = n(~).
By claim E and the existence of g, n(~) ~ n. already.
Suppose n > I.
So, if n = i, claim F is proved
We must show that n(~) B n, i.e. that ~ is In_l-regular at
-IIi-
~.
Well, suppose not.
cofinally into ~.
Then there is a ~n_l(J~) map of a bounded subset of
Since ~j~ "~ is regular", this map cannot lie in J~.
So, as
~" ~ S, we conclude that e(<) ~ ~n-I (J~) ~ J~" Then, aS in claim A, 0~ -I = <. n-I by claim C, 0~ = p >~ ~ > ~, which proves the point and the claim. Claim G.
But
~- = p(~--). n--I
By claims D, E, F and the fact that ~ = P~
, P(~--) = the <j-least p' such that
~'(~ × (m × {p'})) = J--. But look, ~"(m x (K × {~})) = ~"(m × (~ × { --l(p)})) = P #-I ,,ha(%) ,,(~ × (K × {p})) = - I "X% = J~. Hence p(~) ~<j P. Again, let p' = ~(p(~)). Pick i ~ ,
~ e ~, with p = h(i,
h"(~ × (~ × {p})) ~ h " ( ~
x (K × {p'})).
Then p = h(i, <~, p'>), so
Hence h"(~ × (< x {p'})) = Jo" whence
p ~<j p'.
Thus ~ ~<j p(~), provin~ the claim.
Claim H.
~ is defined from ~ exactly as g was defined from ~.
Define g' from ~ as g was defined from e.
Since ~ is the canonical ~I skolem
function for <J~, A>, claims D, E, F, G show that this means that g' ( ~ T(e ~-) +-+ ~(i, <~, ~>) = r(E ~). ~: <JF' A>'
So for ~0 e K, T e ~, since
<Jm(%)' A ~ Jm(%)> and ~rI7 = id[7, we have g'(~) = T +-+h(Fl(~),
+ i) =
Hence ~ = g', proving claim H.
Using the above results, a straightforward
induction proof shows that if we
define k, ~, m from ~ as k, ~, m were defined from ~, then for all ~ < %, we have ~(k(~)) = k(~), ~(~(~)) = %(~), ~(~(~)) = re(v).
EFor example, if T < % and lira(T),
then as m(T) e X%, the m-induction step here is ~(m(T)) = ~T(suPi< T m(i)) = the least e X% such that ~ > re(i) for all i < T = m(T)o]. ~
= id~,
But ~ < % ÷ %(~) ~ ~, so as
~ < % -+ ~(~) = 9~(~J). Also, the k, ~, m recursion must terminate at %.
Thus C--~ = {~(~)
I ~ < %} = {~(~)
It r e m a i n s o n l y t o p r o v e t h a t
I ~ < %} = 7 n Ca, as required.
~" ~ Eo
For this,
it
suffices
t o show t h a t ~-
cannot fall under Case 2.
By claims E and F, if ~ did fall under Case 2 we would
have n = I and succ
Thus ~ = ~
~:
(~).
J~'<~l Jm(%)' so this is absurd.
n-I
= ~
0
= ~ is a successor ordinal.
The proof is complete. |
But
-112-
Theorem 4 Assume V = L.
Let K, S be as above.
There is a set E ~ K + and a sequence
~ S> such that: +
(i)
E is stationary in K ;
(ii)
C% is closed and unbounded in % ;
(iii) If cf(%) < K, then ICxI < K; (iv)
If y is a limit point of C%, then y s S, y ~ E, and C = Y O C%. Y
Proof: Let E,
Thus, for each a E S, otp(C)
Assume, therefore, that ~ = cf(K) < K,
shall replace
Otherwise,
normal sequence of limit ordinals cofinal in K. consider.
~< K.
If
We a
let
There are two cases to
Set y~- = K for convenience, i
Case A.
YT < °tp(Ca) ~< YT+I for some T < K. Set C*a = {8 e C a I otp(~ ~ Ca) >~ yr}.
Case B.
otp(C a) = yl for some % Z ~ with lira(X). Set C*a = {8 e Ca [ ( ~
If
< %)Eotp(B • Ca) = y ~ } .
Ica[ = K, then otp(Ca) = ~, so by Case B, [C~I = ~ < K.
Thus to show that
= ~ ~C*.
Now, if ~ is a limit point of C*a' it is a limit point of Ca, whence a ~ Ca = O--.a Suppose 0~ satisfies Case A at r. otp(~ ~ Ca ) > YT"
Since a ~ C'a, we must have
And of course, otp(~ o C a ) ~< otp(C a) ~< YT+I"
YT < otp(C~) ~< YT+I' SO ~ satisfies Case A alsoo
a -'- {B E C--a [ otp(8 a C-~-) >~ yT} = {8 ~ ~" ~Ca
]
Hence
Therefore, otp(~ ~
~C a) >_. yT} =
{B g ~- ~ C a I otp(~ ~ C a ) >~ yT} = ~ h {8 E C a I otp(B N C a) >~ YT } = ~ ~ C*.a Now suppose a satisfies Case B.
Then, since ~ is a limit point of C*a' we must have
otp(~ ~ Ca) = y% for some limit ~ < ~. Hence 0~ = {8 ~ C~- I ( ~ v
Thus, otp(C~) = y% and ~ satisfies Case B also.
< %)[otp(B n G~) = yv]} = ~ ~ {8 ~ C a I ( 3u < %)
[otp(B ~ G a) = yu]} = ~ ~ C a.
-113-
Let < be any infinite cardinal, and let S be as above. all half-open intervals [~0' rl) ~ S = ~ . +
Let ~ be the set of
[T0' rl ) such that Y1 e S and Y0 is least such that
(Since S is closed, T0 is always a successor ordinal.)
Clearly,
Theorem 5 Assume V = L.
Let <, S be as before, and let
~ be as above.
Let I s ~ .
There is a sequence
ClI is closed and unbounded in I;
(ii)
If of(%) < <, then IC~l < <;
I then y e I and C YI = ¥ ~ C (iii) If y is a limit point of C%, Proof: Let <~
.
I v ~ 8> be the monotone enumeration of all limit ordinals in
I U {sup(l)}.
For each v Z 6, let ~9 be the set of all possible sequences
=
I T Z ~>. By induction on ~ Z ~, we prove the proposition T P(v) £ ~vC ~ ~ and for each r < v, each ~ s C , there is ~' E ~)C such that ~ ~'.
P(0) is trivial, since i 0 = T O + ~ (where I = [TO, TI).) as
Succ(T0).
Assume P(v).
Let
~ =
I r ~ 9> E
~ o
We can extend
~ to
IT ' in N~+IC by setting
~' =
CI~+I is just an ~-sequence). Assume lim(~) and ( ~ n such that
g E
~'.
< ~) e(~).
~
Let T < ~,
~ ~ C .
We seek a ~'
in C
Let 0 = ef(v), and let <~. I i Z 0> be a normal sequence i
such that ~0 = T and ~9 = 9" ~0 ~ ~I
Hence P(~ + I).
"'° and
Define a sequence < ~i I i Z 0>such that
as follows. Set ~0 = ~ ° Let ~i+l e ~ i + l I be such that ~ i ~ ~i+l by hypothesis. For limit i Z 0, set ~* = ~j<[ i ]' and extend ~ * i to
~i e C
~i8 C
by setting
= ~*i ~{<~j
~i
I ~ < i>}
Thus P(~)
i By P(6), there is a sequence
~ =
theorem.~ The next result proves that V = L + (~<)
~
K
in a very strong way.
Theorem 6 Assume V = L, and let < be any infinite cardinal.
Then ~ <
holds.
In fact,
-114-
there
is a set E -c <+ and a sequence
I % < <+ A lim(~)>
such that:
+
(i)
E is stationary
in < ;
(ii)
C A is closed and unbounded
(iii)
If cf(%)
(iv)
If y is a limit point of CA, then y ~ E and C
< K, then
in ~;
IC%I < <; = y c~ C%. T
Proof:
Let S, ~ be as above.
Let E,
I % ¢ S> be as before
also.
For each I E ~ +
let
5.
I I ~ J , so set C% = C%.
If lim(%) Then
and ~ ¢ ~
- S, then
I % < <+ A lim(%)>
clearly as required. | Remark In chapter
Skolem theorem above will
12 we s h a l l
of model
use
theory,
~:
to establish
in L.
However,
b e o f u s e t o us i n t h e n e x t
chapter.
a strong
the strong
v!
form of the Lowenhelm-
form of
O K established
is
,
Chapter 9
THE GENERALISED
Recalling
Chapter
regular cardinal. cardinality Hypothesis
<.
SOUSLIN HYPOTHESIS
FOR SUCCESSOR CARDINALS
3, we make the following definitions.
A Souslin <-tree is a normal
(<, <)-tree with no antichain of
(Such a tree can clearly have no <-branches
for <, SH(<),
is the assertion
by an extension of the earlier argument,
The first step, therefore,
either.)
The Souslin
that there is no Souslin <-tree.
chapter 3 we have already shown that if V = L, then SH(ml) we shall prove,
Let < be an uncountable
is to prove a general
fails.
Thus,
in
In this chapter,
that V = L +
( ~ < ) ~ SH(<+).
form of the combinatorial
principle
of chapter 3. Suppose < is an uncountable by S
O<(E)
we mean the following
regular cardinal.
assertion:
If E ~ < is stationary
There is a sequence
<S I~ ~ E> such that
= ~ and for every X ~ <, the set {~ e EIX ~ ~ = S } is stationary
of chapter 3 is just
in m, then
in <.
Thus,
0~i(~i).
Theorem I Assume V = L. set stationary Proof:
Let < be any uncountable
in <.
B~ i n d u c t i o n
Then
~
<
<S , C > a s t h e < j - l e a s t
C
c ~, C ~ is closed and unbounded
S
= C
either
in a, and T s C
succ(~) or else
Suppose <S I~ e E> is not as required.
lim(a)
S i n c e <Sc~l~ e E> i s J K + - d e f i n a b l e
N
~J<+, 0
pair
~ E + S
Set ~
~ y ~ S , with
a s above e x i s t s .
in < and ~ e C ~ E
-> S h e
~ S .
Define submodels
~ < <, as follows: ~ < E On and E ~ N.
Ng+ 1 = the smallest N - < J<+ such that N n < e On and N ~
S ,
Let <S, C> be the <j-least pair of
f r o m E, so i s <S, C>.
= the smallest N -~ J + such that N <
Nl =
such that
b u t no s u c h p a i r
subsets of < such that C is closed and unbounded
N
and let E = < be any
(E) holds.
on a E E, d e f i n e
= ~ if
regular cardinal,
u{N
} ~ N.
, if lim(%). n <.
Since < is regular,
in <, whence Z = {~ I~, = ~} is closed and unbounded
in <.
Thus E ~ Z ~ C ~ ~.
-116-
Let ~ = ~
e E ~ C.
~(<S, C>) = KS n ~ ,
Let ~: N C n~>
z-l: j s _ < j<+, <S ~ ,
~ Js"
and ~(<S
C ~>
<S ~ ~, C ~ ~> = <S , C >.
cardinal
the choice of <S, C>.
application
<.
Now,
of ~ +(~+), <
Im ~ ~ q E>.
Since
in ~, and y g C' q E ÷ S' ~ y + S . Y S q ~ = S .
Hence
But ~ E C ~ E, so this
QED.
in L, of a Souslin <+-tree for an arbitrary
along the lines of theorem 3.8 will not work, because
are any cofinal branches,
generalised
n(<) = ~, and
if < > ~, it is easy to see that a straightforward
limit stages m in the construction,
the form S .
Im e E>) = <S
In particular,
We turn now to the construction, infinite
= id~,
is the <j-least pair <S'~ C'> such that S',
C' ~ ~, C' is closed and unbounded
contradicts
Then z ~
at
unless cf(m) = ~, we will not be sure if there
let alone the ones we require to kill any T~e antichain of
It is T h e o r e m 8.6 w h i c h
(together with the strong form of
above) enables us to overcome
~ w h i c h we
this difficulty.
Theorem 2 Assume V = L. Proof:
Let < be any infinite
+ Then there is a Souslin < -tree.
cardinal.
Let E ~ <+,
for this E.
We construct
induction on the levels so that for each ~ < <+ The elements
a Souslin <-tree, T, by
T~m is a normal ~
(m, <+)-tree.
of T will be members of <, and we shall have m
set T O = {O}. ordinals
,
By T h e o r e m I, let
If T m is defined,
as extensions
T~a is defined.
of each member of Tm.
We must decide w h i c h
extend in order to obtain T . m T~e is a normal
T + 1 is obtained by appointing Suppose,
finally,
two new that lira(a) and
(if there are any:) a-branches
By induction hypothesis,
(m, <+)-tree of course.
We
of T~a to
we are assuming
that
We first show how we shall attempt to
associate with each p o i n t x e T~m an a-branch b e of T~a with x e bm. ~ x x Let x e T~m be arbitrary.
Let
Let ~(x) be the least ~ such that x e T~y of elements x P~(x)
of T~~
= the least
.
Define a sequence
as follows: (ordinalwise)
y e T~(x)
such that x ~
of Cm.
~< ~ < %>
-117x x = the least y E JY~+I such that p~ ~T y" P~+I x pq = the unique y E Tyq such that for all ~ < q, x P~ ~T y' if it exists (otherwise undefined). x . If the above definition breaks down (i.e. if p~ ~s undefined for some limit ordinal q < ~) for some x, then our entire construction of T breaks down. (Fortunately, however, once we have finished describing the construction of 7' we shall be able to verify that this state of affairs does not arise~) Otherwise, and let us assume, for the time being, that this is the case here, we set bex = {y ~ ~ e l ( ~ We define T each b~x' x s T~e. ~
Otherwise, let T
e
an element of Se.
< %)(Y ~r P~)}' an a-branch of T~e with x E b .x e
as follows.
If e ~ E
If e ~ E and S
let T
consist of one-point extensions of
is not a maximal antichain of T ~ ,
do likewise
consist of one-point extensions of each b ~ such that x lies above x (Since Se is a maximal antichain of T~e, T~e+l will still be normal-
see the proof of theorem 3.8.
This is because, for each x ~ T~e, there is x' s S ~
such that x and x' are T-comparable, whence, letting x" be the T-maximum of x, x' , the one-point extension of the ~-branch b~,, will be an extension of x on T .) x This completes the definition of T
in this case.
We set T~ = ~ < < + T ~~ e .
Provid-
ing the definition of the p-sequence did not break down at any stage, T will clearly be a normal (<+, <+)-tree.
(In fact, it is easily seen that for all ~ < K+,
Irel Z lel, so r has width K+ in " a very strong way.) some p-sequence did break down.
Well, suppose the definition of
Let e be the least limit ordinal such that for some
x e T~e, the sequence
x was not D
Now, since lim(q), yq is a limit point of Ca, so Yn # E and
Cyq = yq ~ C
Let n < X be the least (limit) ordinal such that p
= {y~l~ < ~}.
Thus, if we define from Yn as
~(x) ~ ~ < X> was described above to be defined from a, then for all ~ < n,
x q~x = P~"
But look, determined the y -branch b Yq, and since x
yq # E, we know this branch had an extension on Tyq, by construction. sequence
Hence the
But then p~ is defined, and we
-118-
Hence T is a well-defined, Suppose
otherwise.
C = {~ e K I T ~
ha~
normal
Let A be a maximal
(K +, ~+)-tree.
We show that T is Souslin.
antichain of T of cardinality
domain a subset of ~ & A Q e
is a maximal
<+.
Set
antichain of T~a}.
~
Clearly,
C is closed and unbounded
s C ~ E such that A Q ~ = S . element extended since
IAI =
in <+.
But T
some member of A ha.
Hence, by choice of <S
was constructed
]~ c E>, there is
(in this case) so that every
Thus, picking x E A with ht(x)
+ ), there must be y E A q a such that y
that A is an antichain of T, and so we are done.~
~ ~ (possible
This contradicts
the fact
Chapter i0
INEFFABLE CARDINALS AND THE GENERALISED KUREPA HYPOTHESIS
For this chapter and the next, the reader will find it helpful if he has some acquaintance with the notion of a weakly compact cardinal. consult [8] .)
(For full details,
In the meantime, we shall content ourselves with a brief review of
the definitions. Let ~ be any uncountable cardinal. ~n>l~l <...< e n < K}. homoseneous
For n s ~, we write [
If f: [Kin ÷ p for some cardinal p, we say X ~ m is
for f if If"[x]nl = I.
n If X is some ordinal, we write K ÷ (X)p tO mean
that whenever f: [K]n ÷ ~ there is a set X ~ K of order-type % which is homogeneous for f.
(These notations are due to Erd~s.) We say K is w e ~ ! y
compact iff K ÷ (K)~.
is equivalent to the compactness languages.)
(The name arises because this property
theorem for certain infinitary first-order
Weakly compact cardinals are always inaccessible,
then the first inaccessible. inaccessibles beneath K. weak compactness.
but are much larger
In fact, if K is weakly compact, there are
There are many equivalent formulations of the notion of
One of these is that K will be weakly compact iff < is
inaccessible and every (K, ~)-tree has a K-branch. i b le. Another equivalence is that K will be weakly compact iff it is]~l-indescriba It will be recalled that K iS~In-indescribable
iff whenever ~(UI"'''
Un' W) is a
first-order formula of the language of set theory with the additional unary predicate symbols ~1 .... , Un, W and W c V --
(QU n ~ (~N
I
V K)~VK, ~ VX)(~U2G
is such that ( ~ U
~ VK)(~U I
2
~ VK)(~U
~ V~) .0. 3
s, U ..... Un, W> ~ ~(U ..... Un, W)~, then there is % < < such that I I VX)(~U
3
~ V X) ... ( q U n ~ vx)[
k ~(~ ..... Un, ~)~" The following slightly stronger notion is due to Jensen and Kunen. (I
We call
I. To be precise, the notion of ineffability itself is due to Jensen, who defined the concept in terms of the property expressed in Theorem i. Kunen later obtained the characterisation of ineffability in terms of partition properties, which we have here adopted as our definition.
-120-
a cardinal K ineffable
iff it is regular,
uncountable,
there is a stationary set X ~ < which is homogeneous cardinal
is weakly compact,
if m is ineffable,
then it i s ~ - i n d e s c r i b a b l e ,
exceed the first ~2-1ndescrxbable
cardinal which isT[l-indescribable n following equivalence Theorem I
of ineffability
f: [<]2 ÷ 2,
Clearly, every ineffable
In fact, Kunen has shown that
whence it is easily shown that there
(It can also be shown that ineffable cardinal,
for all n.)
and in fact exceed the first
For our present purposes,
the
is the important one.
(Kumen)
Let < be a regular uncountable
for f.
The converse is not true.
are < weakly compact cardinals beneath <. cardinals
and whenever
I ~ < <> is such that A
{~ ~ < I A
= A ~}
cardinal.
Then < is ineffable
iff whenever
c ~ for all ~ < <, there is A =_ < such that
is stationary in ~.
Proof:~+-~Let f: [<]2 ÷ 2. For ~ < K, define f : ~ + 2 by f (~) = f(v, ~), ~ s e. Identifying
~D(~) with ~2, our hypothesis
X = {~ e K I f
= ~I~} is stationary.
Then ~[X is regressive ~=
We may assume X ~ 2 = ~ of course.
on X, so by theorem 3.1 there is v 0 < 2 such that
{~ e X I ~(~) = V0 } is stationary.
f(~, ~) = f~(~) = ( ~ ) ( ~ ) {--~) Let
gives an ~ E <2 such that
= ~(v) = ~0' so ~f is homogeneous
I ~ < <> be such that f
graphic ordering on the f 's°
But if ~, ~ ~ ~ , v < ~, then
~ ~2 for all e < <.
Let <* be the lexico-
Define h: [K] 2 + 2 by setting, I 0, if f
h(~,
for f.
for ~ < B < <,
<* fB
~) = I, if f~ <* f .
By ineffability,
there is a stationary
e, ~ e X & ~ < ~ ÷ f~ <* f~. follows. (~8
For each 9, let ~
e X)(8 >~ ~
v
Define a sequence < ~
I ~ < <> of members of X as
be the least ordinal in X such t h a t e
~ f vI~ = f s ~ ) .
can always be found, of course.) ~
set X c < such that, say,
>~ ~ and
(Since ~, S e X & ~ < B ~ f~ <* fB' such an ~ Note that if lim(v) and <e
n
I D < v> is defined,
will in fact be the first member of X not less than supq
C = {y e K I v < Y -> ~9 < Y}, a closed unbounded subset of K. so is -~= X ~ C ~ {v g K I lim(~))}.
Thus, v e ~
-> ~
Let
Since X is stationary,
= ~), by our above remark.
-121-
It follows that for any ~ e Y , ( ~ 8
e Y )(8 ~ e ÷ f
therefore, we have f e <2 and {~ e < I fe = f ~ }
= fs~).
~ ,
Setting f = ~ e ~
which is stationary.
f~'
The
lemma is proved. I Recalling chapter 4, we call the following assertion the Kurepa Hypothesis for i, KH(<), for K any uncountable regular cardinal:
There is a family
~ ~ ~(<) such
+ that I~ I = K
and for all e < K, {X ~ e I X e ~ } has cardinality at most Ie I + ~.
Thus, in chapter 4, we proved that KH(~ I) holds in L.
In this chapter we shall prove
that if V = L, then KH(<) holds iff < is not ineffable.
Since KH(<) can be formulated
in terms of (<, <)-trees, much as in chapter 4 for the case < = ~I' this gives an equivalence, in L, of ineffability in terms of the non-existence of "very fat" (<, ~)-trees.
(In the next chapter, we shall give an equivalence, in L, of weak
compactness in terms of the non-existence of "very thin" (<, K)-trees, namely Souslin <-trees.).
Half of this equivalence is already true in ZFCo
From now Theorem 2
on, < will denote an arbitrary, uncountable regular cardinal.
(Jensen; Kunen)
If K is ineffable, then -I KH(<). PrOof: Assume < is ineffable, and let < < ÷ ]{x ~ ~ I x e ~}I ~< I~I
~ c + ~.
~(<) be such that We show that I ~I ~< K.
For each e >~ ~, let
is
R ~
<2 s u c h
each 9 < K, set f Let f e ~
.
that
Then R - ~ 2
so (since I(~21 = Ic~I) by theorem I
X = {c~ ~ < I R f3 ~2 = R } i s
= R"{~}.
We show that ~ ~ { f
stationary
in
K.
For
1 9 < K}-
If f ~ fv for any ~ < <, then since < is regular we can find a
closed unbounded set A c K such that ~ e A ÷ ( ~ X is stationary, there is ~ ~ X r~A. rl R"{v} = R " f v }
< ~)(f ~ ~ # f
For such an ~, v < ~ ÷ f ~
(~ ~).
Since
# f ~ ~ = l}
= {T I T E f~} = fe.~ Hence f r~ e ~ {f~ I ~ < e} =
{x ~ ~ I x e ~ }, contrary to f e ~ .
Hence f = f for some ~ < <, as required. l)
The theorem is proved. I There remains the proof, that, if V = L and K is not ineffable, then KH(<) holds.
-122-
Now, this can he done by means of an argument generslising that of theorems 4.3 and 4.4.
However, it is possible to establish a much stronger form of KH(K) from the
same assumptions here, so that is what we shall do.
And, as in chapter 4 for the
case KH(~I) , we shall find it more convenient to "reduce" KH(<) (in its strong form) to a generalised version of (a strong form of)
~+
for <.
The following Strong form of Kurepa hypothesis is due to Chang.
Let <, % be
uncountable cardinals, with < regular and % ~ <. Say KH(K, %) iff there is + ~ ~(~) such that I~I = < and for all infinite x s ~%(<), I{f ~ x I f s ~}I ~
Ixl.
Clearly KH(<, <) ÷ KH(<). fails°
(Here, we use ~D%(<) to denote {x ~ < I Ixl < %}.) In particular, therefore, if < is uneffable, then KH(K, <)
We shall prove that if V = L, then for all regular uncountable < and all
uncountable % < m, KH(~, %) holds, and if ~ is, in addition, not ineffable, then KH(<, ~) holds.
In order to do this, we shall define strong forms of a generalisation
of the combinatorial principle
¢ + of Chapter 4.
The following principle is known as such that S
~
~ +°
There is a sequence <S
I ~ < K>
~(~) and IS~I ~ l~I + ~ for all ~ < K, and whenever X ~ < there is
an unbounded set B ~ < such that e = sup(B n e) implies X n ~, B ~
s S .
By generalising the proofs of theorems 4.3 and 4.4 one can prove that V = L & + not ineffable *ZFC ~ < +ZFC KH(m)" However, we shall here consider a two-cardinal version of
0
which applies to the principles KH(<, %).
+ The following principle is known as ¢ ~ , % . <Sx I x ~ ~ ( K ) >
such that Sx ~
~(~x)
There is a sequence
and ISxl ~ Ixl for each x ~
~3%(<), and
whenever X ~ < there is an unbounded set B ~ K such that for any x s ~)~(<), if =~x
is a limit point of B ~ x, then X n ~, B ~ e s S .
Theorem 3
(Jensen)
For any regular uncountable cardinal < and any uncountable cardina] % ~ <,
~+(~, %) ÷ KH(~, %). Proof: Recall that H< is a model of ZF-.
Let <Sx I x s ~ % ( < ) > satisfy
For each x ~ ~I(K), let M x be the smallest M ~ H ~
0+(<, %).
such that x o {x} ~ M and
-123-
( ~ a ~ Ox)(S Set
CM).
x~
~ = {f ~ < I ( W x
satisfies KH(~,
e @%(<))(f
~x
s M )}. x
Clearly,
if
I ~I
~ <+ then
X), so in order to prove KH(K, X) w e shall assume
I~I ~
N
and work for a contradiction. Let
I v < <> enumerate
all unbounded members
set X ~ < such that for each e e X, lim(~) ~.
(Since < is regular,
B Q x, then X n a, B ~ a e S j ~
and if v < a, then f
(~x
e
Let
~%(<))
I ~ < ~}, an unbounded c~ B
Let x E ~ % ( K ) . x
is
subset of <.
imraediate.
Since f
the
So, as x c Mx,
{~ E X I ~ is a limit Set in eg+l
< <)(f ~ f ).
We
is finite,
suppose
f ~ x is
then since infinite.
Let
f ~ x o ~ E M ÷ f ~ x s M . x x
same way that
f was
f n x ~ B ~ M . x
Now, B i s
But clearly, defined
a limit
point
of
f ~ B is ZF--definable
f r o m X a n d B.
Hence
QED.
(Jensen)
Assume V = L. cardinals Proof:
is a limit point of
Then f q x = (f ~ x q B) U (f n x - B), so
f ~ x (and f ~ B), so X q B, B n ~ e Sx~ B ~ M x.
Theorem 4
procedure.)
~ ev+l is unbounded
If f ~ x
Otherwise,
limit point of f N x.
as f ~ x - B m u s t b e f i n i t e ,
f ~ B E M . x
is unbounded in
by showing that f e ~ .
this
from X ~ B and B Q $ in
~
Thus a ~ ~ B v < a~+l .
We prove that f q x ~ M . x
and M ~ ZF-, x
B be the greatest
~x
+ 1 < a ~+I for each ~ < ~, we see that ( ~
obtain our contradiction
x ~ M
[if e =
I v < ~> enumerate
point of B}, and for ~ < <, set B v = min(B - ~ ) .
but f ~ + i
Pick a closed unbounded
such a set is easily obtained b y an inductive
Let B n K be unbounded and such that
f = {~
of ~ .
< <,
~+(<,
For each x ~ Set S
x
For all uncountable
= ~ if x s
B qx,
< and all uncountable
let Mx be the smallest M -
I x ~
(~) and S = 60 x ~%(K)>
obtain a contradiction. unbounded
cardinals
~) holds.
~(~),
prove that <Sx
regular
~(L)x) n M
satisfies
~+(<,
x
if x s ~).
Suppose not.
Let X _oK be the
set B c K for which
then X ~ ~, B n ~ e M ~ .
( ~x
e
~(~))
[if
6D%(~) -
@
(K). t0
We
We shall
such that there is no
~ = Ox
is a limit point of
(Note that X is L<+-definable
from %.)
-124-
By induction on ~ < K, define submodels N O ~ N I ~
... - ~ L K + as
... ~ N
follows. N O = the smallest N ~ L K +
such that % g N n < s K.
N + I = the smallest N ~ L K + N6 =
~
<~
~ {N}
~ N and N o ~ ~ ~.
N , if lim(~).
Thus ~ < T < K
such that N
÷
N v ~ N T -< LK+.
Set a
I v < <> is a normal sequence in <.
o (~) = a v and ~v (X) = X ~ ~ .
= N v ~ <, each ~ < K.
Clearly,
For each ~ < K, let ~ : N v ~ L B ( v ) .
Set B = {B(~)
Clearly,
[ ~ < <} an unbounded subset of K.
obtain the required c o n t r a d i c t i o n b y showing that B satisfies
0+(~,
We
%) for X,
c o n t r a r y to the choice of X. So, let x ~ = Ux
~(<)
be arbitrary, but fixed from n o w on, and suppose that
is a limit point of B ~ x.
We m u s t show that X ~ ~, B ~ a s M . x
Note that since we clearly have B(~) < ~ + I
< B(~ + I) for each ~ < K, and
since ~ is a limit point of B, we m u s t have a = ~
for some limit ordinal n. n
from %, - In : LB(n) -~ L + ,
Now, X is L K + - d e f i n a b l e ~I(x
Q a n) = X.
Thus, X n a n
is L $ ( n ) - d e f i n a b l e
Again, B ~ a m is ZF--definable
-I n (%) = ~, and
from %.
from LB(n) and % in e x a c t l y the same way that B
was d e f i n e d from L + and % above. So, as % e M x and M x ~ ZF-,
[B(~) e Mx] ÷
IX N a , B ~ ~n ~ M j ,
and we are
r e d u c e d to p r o v i n g that B(~) ~ M . x To avoid confusion b e t w e e n ordinals and sequences of ordinals, B* denote <8(v)
[ v < K>, and for any T < K, set B*~T = <~(v) -I o a~
For ~ < ~ < K, set a T = o
Thus a ~T : L B (~) -< L B (~)"
I ~ < T < K> and for any i < ~, set a*~i =
from n o w on let
I v < T>. Let ~* denote
I ~ < T < i>. "~T
The p r o o f that B(n) e M
n o w consists of our e s t a b l i s h i n g a series of claims,
x
which we shall number for r e f e r e n c e as we proceed. (I)
v
e
n n M
x
÷
C~
Let ~ e n ~ M o x
~
B(9), B*~(v + i), a*I(~ + I) c M X . Since e
that ~ < T and ~(T) E x ~ M . x
n
= ~ is a limit point of B q x, w e can find T < n such Clearly,
~* ~ T and o* ~ T are ZF--definable
from
-125-
%, $(T) and ~
(= the largest cardinal of LB(~)) in the same way that B* and o* were
d e f i n e d f r o m X, ~+ and K.
(Warning:
It
i s n o t t h e c a s e t h a t t h e c o l l a p s i n g maps
corresponding to the ~ 's are the same in this situation. when the c o l l a p s i n g maps f o r t h e X, B(~), a
situation
t h e e l e m e n t a r y e m b e d d i n g s c o r r e s p o n d i n g to t h e o obtained.
This is all
X, ~(~) ~ M
easiiy
~T
's,
What is the case is that
a r e combined a s b e f o r e t o g i v e then just
t h e s e q u e n c e o*~r i s
c h e c k e d by i n d u c t i o n on t h e c o n s t r u c t i o n . )
and M x ~ ZF-, ~ * ~ , ~ * ~
e M .
x
But ~ ~ M .
x
Hence as
Hence
x
B*~(~ + i) = (~*~) ~ (~ + I) s Mx, a*~(~ + i) = (a*~) ~(v + i) ~ Mx, and ~(~) = (~*~r)(~) e Mx.
And as ~
is the largest cardinal of LB(~) , ~
~ Mx.
This
proves (1) o Let ~: M x ~ L~. ~* = ~ c ~ n M
Set ~ = ~"(n Q Mx).
~(B*~(~ + i)), x Since ~ is a collapsing isomorphism, the following are
~(~*~(~ + I)).
By (I), set ~* = ~ E ~ n M
x
easily
checked:
(a)
~ is an ordinal and ~* is an ~-sequence of ordinals.
(b)
~* is a system of maps indexed by the set {<~, 3> l ~ < T < ~}.
(d)
~ TE = $* ~
(e)
<(L~(~))~<~,
= ~(~
)o
(~ T)V
Note that <(LB(~))~
a directed elementary system.
(o T)V
transitive direct limit . of the system (e).
a directed elementary system with Let <, (~v)~<~>be
a direct limit
Define an elementary e ~ e d d i n g h: ~<~LB(~) , s> by letting
range over ~ in the following diagram:
LB(-l(v))
L~(~) Hence is well-founded.
.0
~
LB(D)
~
We may thus take U to be the unique transitive
-126-
limit of (e), so that U = L~ for some ~. For each v < ~, ~ -I ~
~ < ~(~) such that o ~ -I : L~ (v)- < L +, so there is ~v
~-l(v)
<
[= "~ is the largest cardinal". e~(v) v o -1 n o h: ~ - <
Similarly,since
L<+, let ~ < 8 be such that ~ L ~ " 7 is the largest
cardinal". Clearly, (2)
~
=
for each v < ~:
~(e _i(9)),'~ ( ~ )
= 7, and h(~) = ~ .
Also, we shall show that: (3)
~ < ~ ÷L~ To prove
s ~ o
~
= id~
(3), it suffices to show that v < T < ~ ÷ O
Then ~ = ~(~) for some ~ g ~ -I
~VT(~) = ~(q ~-~ (v),
(4)
o
- i (~) (~))
(~)
~ M . x
Now, o
~
= idlg .
-i (v),
Let
-~(~) (¢) = ~, so
= ~(~) = ~, which proves (3).
7 = supv< ~ ~v" This follows directly from (2) and (3).
(5)
z e @ ( ~ D ) ~ M x ÷ ~(z) e
@(~)
Note first that as ~ = e
=
A L~.
[Jx = supv< n e v "
and x ~ M x, e
= supve~n M
~ x
Let ~ e z ~ M
x
.
Then ~ g ~ , so by the above, ~ ~ ~
r~
(2), ~(g) e g~(V) and ~(v) < ~o But ~(z) = {~(~) (6)
By (4), ~ ( v )
V
for some v ¢ n ~ M
x
.
By
~< 7, so ~(¢) e 7.
I $ ~ z ~ Mx} , so (5) follows immediately.
If z e L ~ o L d and z is a bounded subset of ~, then h(z) = ~-l(z). By (4), z ~ ~
sufficiently
for all sufficiently
large v < ~.
large ~ < ~.
Thus by (3), ~ "z = z for all
Hence for all such v < ~, z s L~(v) and ~ (z) = z.
(This
follows from the definition of ~.) Again, by (2) we have ~-l(z)_~ e - I
for all sufficiently
large v < ~, whence
(v) o
- i (v), n
(~-l(z)) = ~-l(z)
h(z) = o
o -I
~-i(v), n
for such ~ .
o ~-l(z)
v
Thus, by definition of h,
= o
o ~-l(z) = ~-l(z), as required.
-l(~), n
-127-
(7)
If z ~ ~
~ L 6 and z c ~, then h(z) = - l ( z ) .
By (2), h(z) c_ ~r]' and by (4) and (i), ~-l(z) ~ ~q . that ~ O
<~
= D
g ~ M ~ , we see that h(z) = U sq~ M h(z) ~ e o = (by definition of ~) x -i x h(z) ~ '~ o ~(e -l(v)) = (by (2)) O <~ h(z) n ~ - l ( ~ ) = (by (6)) ~ h(z ~
U
<~
(8)
-i
(z) ~ - I ( ~
) = ~J <~
Similarly,
~-l(z) = ~
~-l(z) ~ x
-I
(z ~ ~ ).
The result follows by (6).
~(~ ) f~M x ~ LB(~). We have x e ~>(~ ) n M x and x is cofinal in ~q .
of ~ , B(q). (9)
Also,
Ixl < ~. < ~ n and ~ is a
Thus if x ~ LB(q) , then LB(~) = "~ q is singular" contrary to the definition
cardinal.
Hence x ~ L8(~) , which proves (8).
8-< 6. Suppose, on the contrary, that 6 ~< ~.
Let z ~
~(z) s ~(~-) C~L~.
Thus ~ ( z ) ~
h(~(z)) = -l(~(z))
= z.
here.
n M x _c LB(q) , contrary to (8).
(10)
So, recalling from above
Hence
~(~q)
~ and ~(z) E L 6 ~ L~.
In other words,
6D(~ ) f~ M x.
By (5),
So by (7),
z ~ ran(h) c LB(n).
But z was arbitrary
~(q) ~ M X. By (9), ~ E L~.
And of course L 6 ~= Mx, so L 6 = ZF-.
But clearly, ~*, 5" are
-
ZF -definable from B, ~ in the same way that ~*, ~ course, ~ is ZF--definable
were defined from K +, K.
from ~ as the largest cardinal of ~ .
It follows that - i ( ~ , )
and - i ( ~ , )
an end-extension of ~ q
and similarly for - I (5*) and o*~q.
since ~ L -i
are defined, and that, in particular,
is the unique transitive limit of <(L~(~)) <~, ( ~ v ) is the unique transitive
Hence B , a
And of ~ L 6.
-I(~*)
If - I (~*) = ~ ,
is
then
limit of <(LB(v))
-I
(~) = B(q),
(F) giving B(~) E ran(~ -I) = Mx, as required. and so B(q) is ZF--definable ran(~ -I (~*)) such that ~L x kJ { x } ~
M
B(n) s M o x
x
so ~ s M . x
from - I ( ~ , )
Otherwise, we must have B(n) = ~-I(~*)(D), and ~ as the unique element y of
"~ is the largest cardinal". Y -I Also, of course, ~ (~*) E M . x
But ~ = sup(x) and Hence, again we see that
This proves (IO).
But (iO) is what we set out to prove, so the theorem is established. I
-128-
In view of Theorems 3 and 4, we see that all of the principles KH(K, ~) for < K hold in L.
The situation regarding the principles KH(K, ~) is described
entirely by TheoremS 2, 3 and our next result. Theorem 5
(Jensen)
Assume V = L.
For all uncountable regular cardinals K,
~+(~, ~) holds just in
case ~ is not ineffable. Proof: Suppose K is ineffable.
Then by Theorem 2, -~KH(K), so -IKH(K, ~) of course,
whence by theorem 3, --lO+(K, K). Conversely,
suppose K is not ineffable:
argument very similar to the above.
Then we prove
~ +(K, K) by an
In fact the similarity here is so strong,
that we shall content ourselves with a brief description of the differences only. To begin with, let
a but
for any Ag
K, {a C K I A
= a N A} i s n o t s t a t i o n a r y
i n K.
Such a s e q u e n c e
exists by virtue of theorem I, of course~ For each x ~ ~)K(K), let M
x
be the smallest M -~L
such that
x ~ {x} ~ {A Ox } c M. Define <S
x
J x ~ ~
K
the models Mx, of course).
(K)> now exactly as before The verification
that
(using the new definition of
~+(~, K) holds proceeds as before.
The only difference is in the verification of claim (8), where it will be recalled we made heavy use of the fact that ~ < K in the previous case. the non-ineffability M . x
of K, and the correspondingly
Now we use, instead,
different choice of the models
We proceed, then, as follows.
(8)'
~(~n) ~ M x ~ L6(~). Suppose ( 8 ) '
fails.
In particular,
Aa f~ Li3(rl). n so
therefore,
Thus X = {y E aq [ A y
Also,
= y ~A
} c LB(n)" q
Suppose is
stationary
[=e6(n )
"X i s
stationary
i n K", s o X* r e a l l y
is
in a
rl "
.
stationary
Then, setting i n ~.
X
,
-i = c~ ( X ) , I=. "X* q h +
But, setting
A = ~l(Aa
) ~ we
-129-
have X* = {y e < ] A y
= y ~ A}, since this is true in L<+ by elementary equivalence.
This contradicts the choice of
7
[ y < <>.
C g LBCD)_ _ such that I=LB(n)I"C is closed and unbounded in
and y c C ÷ A
~ y Q A s ". Let C* = a -I(C) A = ~- (A__) (as before). Then C* D N is closed and unbounded in K, A ! K , and y s C* ÷ A ~ Y N A, since all of this holds Y in L + by elementary equivalence. e
But C* O a n = on(C*) = C, which is unbounded in
(since this is true in L~,~),~ ~ so as C* is closed, ~
E C*.
Hence A
+ e n N A. n
But ~
~ A = on(A) = A
, so we have a contradiction.
This proves (8)'.
D The reader is left to check for himself that the rest of the proof goes through exactly as before. [
Chapter ii
WEAKLY COMPACT CARDINALS AND THE GENERALISED SOUSLIN HYPOTHESIS
In this chapter we shall prove that if V = L, then for any uncountable regular cardinal K, SH(K) iff ~ is weakly compact.
Now, we know already in ZFC that if < is
weakly compact, then every (K, ~)-tree has a x-branch, so if ~ is weakly compact, then SH(m) holds.
Hence, all we must prove is that if V = L and K is an uncountable
regular cardinal which is not weakly compact, then there is a Souslin K-tree.
If K
is a successor cardinal here, then this is already known by virtue of Chapter 9. Hence, in proving the above result, we need only consider inaccessible ~.
So, for the
rest of this chapter, we shall be assuming V = L and that ~ is an arbitrary inaccessible cardinal. K-tree.
Assuming K is not weakly compact, we shall then construct a Souslin
The idea behind the construction is much as in chapter 9.
Indeed, for such
K, we could establish a result for K which is very similar to the principle %+.
(In fact, Jensen does this in [11]).
~]% for
However, this would involve us in more
work than we need, so we shall content ourselves with proving the following characterisations of weak compactness in L: Theorem I (Jensen) Assum V = L.
Let K be an uncountable regular cardinal.
The following are
equivalent. (i)
K is weakly compact.
(ii)
If ~(B, D) is a first-order formula of the language of set theory with the
additional unary predicates B, D, and if B ~ K is such that ( ~ D then for some 6 < K, ( ~ D ~ (iii) If E = K
= ~)(~JK ~(B, D)),
~)(kj B ~(B ~ 6, D)).
is stationary in K, then for some ~ < K, E Q ~ is stationary in ~.
Proof: The proof that (i) ~
(ii) is entirely similar to the proof that ~l-indescrib-
ability (in its usual form) characterises weak compactness.
(In fact, (ii)
is clearly just a "constructibility version" of of Hl-zndescrlbabllzty.)
And
I the implication (i) ÷ (iii) holds in ZFC, being a simple application of NIindescribability.
We are left with the implication ~(i) * ~(iii).
Assume,
-131-
therefore,
that K is not weakly compact.
We must find a stationary
and, for each limit ordinal a < ~, a closed unbounded set C ~ a C ~E
= ~.
such that
Now, if < is a successor cardinal, Theorem 8.6 at once supplies us
with such an E and such sets C.
There remains the case K inaccessible.
Since < is not weakly compact, we can, by the above equivalence
(i) +-+ (ii),
find a formula ¢(B, D) of the language of set theory with the additional predicates (~B
B, D, and a set B ~ ~, such that ( ~ D
< <)(~D
set E ~
~ B)@j@
unary
~ <)(~JK ¢(B, D)) but
~ ¢(B ~ B, D)).
Let E be the set of all limit cardinals a < < such that for some B > a: (i)
a is regular at B;
(ii)
B is a-minimal;
(iii) B h a
~ JB & ( ~ D
~ @(~) ~ JB)(~ja ¢(B n a, D)).
We show that E is stationary in K. Let X be the smallest X - < J regular,~=Xn~ ~(B) = B o a .
~ ~.
Let C ~ K be closed and unbounded
+ such that
Let ~: X ~ J B .
Then @ < K, 7~a = i d ~ ,
Since C ~ a is unbounded
in a, a ~ C.
prove that C Q E + @, to show that a ~ E.
ill K.
Since ~ is
~(K) = ~, ~(C) = C Q a,
It thus suffices,
in order to
In fact, it is easily seen that a is
regular at B and B is a-minimal by means of the simple argument used in the proof of the corresponding (~D
~)(~j
part of theorem 8.3.
¢(B, D)), so as v
-I
: JB-< JK+,
K
to say ( ~ D Case I.
~ @(a)
OJB)(~ja
~J8
~(B N a, D)), giving
(~D
(iii), note that ~j<+ ca)(~ja --
(iii).
¢(Bsa
'
D)), which is
Hence E is stationary
cf(a) = ~.
Let C be any 0~-sequence
of successor ordinals cofinal in a.
closed and unbounded in ~ and disjoint Case 2.
For condition
Clearly C is
from E, which disposes of Case I.
a is not a limit cardinal.
Let k < a be maximal such that X = 0 or else k is a limit cardinal. C = a - (%+I).
Clearly,
as E consists only of limit cardinals,
unbounded subset of a disjoint Case 3.
a is inaccessible.
from E, so Case 2 is proved.
Set
C is a closed
in K.
-132-
Since ~ is regular, we may define submodels X x
= the smallest X - ~ J
+ such that {B N ~ } ~ { ~ I n
~ J +, ~ < ~, by setting: < ~} ~ X and ~
Thus, <X I~ < ~> is a strictly increasing elementary in particular, that C q E
<~ I~ < ~> is a normal sequence
= ~.
Let ~: X
~ JB"
Thus ~ r ~
= id~
such that ~j~ - ~ ( B
Hence ~j + ( ~ D
c
~)~=j~- ~ ( B
~ ~)[~j
other words,
chain continuous
in ~.
-~(B
N~,
, ~(~) = ~ D).
at limits, and We show
e E.
and, ~(B N ~) = B q ~v"
Now,
And any such D must of course lie in J +.
f3 ~, D)], so as ~, B N ~, ¢ X
~ ~, D)].
e ~.
Let C = {~ I~ < ~}.
Assume not, and suppose that ~ < ~ is such that ~
there is D c ~
~][~ ( ~ D
= ~ qX
Hence ~j~ ( ~ D
if y >~ B, there is D ~ ~(~ ) n J
~
)[~j~
~<J+, -n~(B q ~
, D)].
such that _kJa -, ~(B ~ v ,
In
D).
Thus,
Y by definition of E, since a
~ E, there must be a y such that a
regular at y and ~ is ~ -minimal. look, w-l: JB -<Ja+'
By lemma 8.2, ~
v
< 7 < B and a
is not regular at y + I.
is But
so lim(B) , whence y + 1 < B, so this means that there is a map
~ JB of a bounded subset of ~
onto an unbounded
subset of ~ .
map of a bounded subset of ~ cofinally into ~, which is absurd.
Hence ~-I(~) is a Hence C q E = ~, as
required. Case 4.
Otherwise.
Thus ~ is a singular limit ordinal such that cf(~) > ~. Theorem 3.8, let 8 = 8(~), n = n(~).
Using the notation of
(Thus B is the least ordinal such that ~ is not
regular at B and n is the least integer such that ~ is not Zn-regular P = {y ~ ~[[y >. ~i] & [y is a singular
limit ordinal]
at B.)
Let
& In(y) = n] & Ilia(8) -> lim(8(y))]}
We may now make the crucial claim for our argument: Crucial Claim.
There is a closed unbounded
set C _~ ~ such that whenever y is a limit
point of C, then y e P. Leaving the proof of the crucial claim until later, let us see how this enables us to dispose of case 4.
Let C consist of all the limit points of C.
cf(~) > m, C is closed and unbounded in ~. y is a limit point of C, so y ~ P.
We show that C q E = ~.
Let y e C.
Then
Now, by the argument of Case 2 of Theorem 8.3,
cf(~) > m implies that n > i or else lira(8). or else lim(B(y)).
Since
Hence as y ¢ P, we must have n(y) > i
But by le~mna 8.2, if ~ ~ E then n(~) = I and succ(B(~)).
Hence
-133-
y~E. We turn now to the proof of the crucial claim. We proceed much as in Case 3 of Theorem 8.3, and use the notation established there. Set p = p(~) = p~-l, A = A(~) = A n-I 6 . In-regular
at 6, p~ ~ ~ ~ p.
x e J?is If-definable
Since a is In_l-regular
In particular,
we may let p~J~ be such that every
in <Jg' A> from parameters
in e ~ p } .
Let h be the canonical [i skolem function for <Jp, A>. [l(<Jp, A>) definition y = h(i, x) ~-+ ( ~ z For r < p, set y = hr(i, x) ~-+ y, x ~ J
at 6 but not
Let h have the (uniformly)
e Jp)H(z, y, i, x), where H is [0 <Jp' A>
& ( ~z e Jr)H(z, y, i, x).
<Jr' A ~ Jr> is amenable, h r is its canonical
Thus if
[I skolem function.
Define a map g from a subset of ~ onto ~ by: h(i, <~, p>)~if h(i, <~, p>) ~ g(~
+ i) otherwise undefined.
As in Theorem 8.3, there is a (uniformly) G such that g(~) = r ~-+ ( ~z ~ Jp)G(z, Claim A.
[i <Jp' A>
(p; possibly e as well) predicate
r, v).
There is a cardinal y < ~ such that ~ n h " ( ~
x (y x {p})) is unbounded
in ~.
By choice of P, A, etc., there is T < ~ and a [ (<JP, A>) map f such that f"T 1 Pick i 0 e ~, ~0 s is a cofinal subset of a. Pick q so that f is [I <Jp, A>({q}). with q = h(i 0,
Since ~ is a limit cardinal, we can find a cardinal y <
We show that f"r ~ h"(~ x (y x {p})), which proves the claim of
Let X = h"(~ × (~ × {p})).
that X ~ I ~
<7p, A>.
It thus suffices
But this is immediate, If-pairing
Since {q} U (r + I) ~ X, it suffices to show to show that X is closed under ordered pairs.
since y is a cardinal,
and hence is closed under the Godel
function ~: On 2 +-+ On.
By claim A, we can find a cardinal y < a as such that sup(g"y) = e.
Fix
from now on as the least such. We define functions ~: e + y, ~: 0 ÷ e, m: e ÷ P for some limit ordinal e ,< by means of a simultaneous
recursion
(which breaks down when any of ~, ~ , m is not
-134-
defined)
as follows:
~(v) = the least r ~ dom(g)
- y such that i < v + ~(i)
< T and g(r) >
~(~) and
m('0) ~ h"(~ x (g(r) x {p})). ~(v) = sup(6 A X )
if < 6 (otherwise
undefined)
where X
'
'
and q(v) = max(y m(O) = max(y
if < p (otherwise
m(~ + i) = the least
(b) ~(~) < go~O0
Again,
x {p}))
(a) ~, go~ are monotone;
If
undefined),
~(~),
and A ~ Jm(~)
go~(~),
a J~ and
and
~(~), m(~)
(--]z ~ J )G(z,
s
go~(~),
~(~)).
[, m are normal.
then m(~) must have been defined,
is defined,
so is m(9 + I), and thus so is
n h m(~+l) "(w × (Jn x {p}))),
~(~ + I) = sup(e
for lim(~).
< ~(~ + i).
[(~) is defined,
if [(v)
such that p s J . r
n < p such that ~ > m(~),
h "(m x (go~(~) Clearly,
m ~ )
+ I, supi<~g=~(i))
+ I, r), where "[ is least
m(%) = supv<%m(~),
= h . ."(~0 x (Jq(~) x {p})) ~
hm(~+l)
is Jr-definable
for some T < p .< B).
ordinal
@ .< y, and e is determined
where
and hence ~(~)
is defined.
[(v + I) (this last because
~ = max(y
+ I, go$(~))
and
Hence ~, ~ , m are all defined
by ~ taking
the value
6 or else
m taking
on a limit the value
p (at some limit stage). Claim B.
sups<@ ~(~) = 6.
Suppose -~ = sups<@ [(v) < ~. X
=
~
<@X
= h"(~ x (J-~ x {p})).
[l<Jp, A>({p; =
possibly
Then sup~
6}), g"Y ~ X .
< p, for if not,
then
6 > ~f and p ~ X-~f[l <Jp, A>, so as g is
But sup(g"y)
= 6, so 6 = sup(X fl 6) = supu
6 < 6, a contradiction. We define,
by recursion,
@ ~< @ such that sup(t"@)
a normal
t: @ ÷ ~ for some limit ordinal
= 8.
t(O) = the least ~ < @ such that t(%) = sup~<%t(v),
function
(if ~ < p)6 e X
if < @ (otherwise
If n = I, t(v + I) = t(~) + I.
undefined)
and [(~) > ~I" for lim(l).
-135-
If n > i, t(~ + i) = the least ~ > t(~) + I such that J
Nh*"(~ x (Xt(~) x {p*}))
--~XT ' where p* = p~-2 ' A* = ABn-2 ' p, = P6n-2 , and h* is the canonical El skolem function for <J ,, A*>. P We show that t(~ + I) is defined whenever t(v) is. is when n > i.)
(Clearly, the only problem
This will show, of course, that lim(6) and sup(t"e) = e.
Y = ~ q h*(~ × (Xt(v) x {p*})).
We must show that Y is bounded in e.
Xt(.o) = hm(t(~))"(~ x (Jn(t(~)) x {p})).
Clearly, h ( t ( ~ 0 )
Let
Now,
e JB' so we see that JB
contains a map of a subset of ~(t(v)) < e onto (~ × (Xt(~) x {p*})).
But h* is
~n_l(JB), so there is a ~n_l(JB) map of a subset of n(t(~)) < e onto Y.
Since ~ is
~n_l-regular at B, this implies that Y is bounded in ~. Set C = { ~ot(~)l~ < 8}, a closed unbounded subset of ~. We show that if ~ is a limit point of C, then ~ e P. = ~(~), where lim(~), of course.
Suppose, in fact,
Let ~-I: <X~, A ~ X>> =~ <JD-' ~>"
~: <J_, ~>~0 P ~ > ~ ~I <Jm(%) ' A N Jm(%) >' so ~: <J--' P
<JP '
A>
Let ~: J~
the canonical extension of this Z0-embedding given by lemma 7.20. above, we see that sup(god"X) ~I~ -- ida7 and ~(~) = ~.
= ~, whence ~ c X%.
In particular,
Let p = ~-i (p), and set ~ = t -I (~).
Then JB be
~I
By inequality
(b)
therefore,
(For the latter here,
note that ~(%) = 7 s C = ~ot"e.) Claim C.
~ = 6(~).
Let ~ .< ~ < ~.
Then e is regular at ~.
For otherwise, J~ would contain a map
of a bounded subset of ~ cofinally into -~, whence, as ~: J ~ l
J6' ~(~) would be a
map of a bounded subset of ~ cofinally into ~, lying in JB" contrary to the choice of B. Define a map g from a subset of ~ into ~ by g(v) = T +-~ ( ~Z S Jm(x))G(z, Thus g is ~l<Jm(x) ' A ~Jm(X)> g c ~ x e, ~-i,,~ = ~. means that g is ~n(J~).
(p; possibly ~ also).
Hence g is ~I <j_, p A> ({p, e}).
Set g = g ~ (e x ~).
Since
Since ~ = p~-l, ~ = A~-I, this
But by definition of m, ~"% ~ dom(g) and g~(~"%) =
But v < % ÷ ~(~) < go~(~) < ~(~ + I) (see above) so g ~ " E ~(k) = ~.
~, ~)-
gI(~"%).
is a cofinal subset of
Hence g maps a bounded subset of ~ (namely ~"% c y < ~) cofinally into ~.
-136-
This shows that ~ is not ~n-regular at ~, which completes the proof of claim C. Claim D.
n = n(~).
We saw during the proof of claim C that ~ is not Zn-regular at ~. claim C itself, n(~) ~ n.
If n = I, then we are done.
that ~ is Zn_l-regular at 6. ~.
P ~
Let x E J~, be such that f is
P
~l<J~-*, A >({~,, x}). p*, ~*(x).
By lemma 7.20, = ~~IJ--,. P
<J ,, A*> and ~*(p*) = p*.
LI
Define f' in <Jp*, A*> by the same definition in parameters
Since f g ~
x ~, ~"f = f, so f ~ f'.
Let u = dom(f).
Since u is a
m # p , u ~ J-* (by amenability) and ~*(u) = u. %n_l(j~ ) set bounded in ---, P predicates "f is a function ~' and "dom(f) c=u" a r e ~ l < J ~ is a function with dom(f') 9 u. ~*(x) ~ X k a n d
We must show
Let f be any ~n_l(J~) map of a bounded subset of ~ into
n-2 , ~, = A~-2 , --* Set --* p = p~ p = ~ n-2 , ~
~*: <J--,, A*> ~ v
Suppose n > I.
Hence, by
' ~*>({p*, x, u}), and so f'
Hence f = f' , and f is [I
<Jp,, A~>
dom(f) is bounded in ~ = sup~<~(sup(~ ~ Xt(v))).
of t, f is bounded in ~.
Now, the
, ({p , ~*(x)}).
Thus, by definition
Hence ~ is [n-I regular at ~.
That ~ E P now follows immediately.
For, by the proof of claim C (i.e. by the
existence of g), ~ is a singular limit ordinal; by the definition of t, ~ ~ ~I; by claim D, n(~) = n; and by claim C, lim(6) + lim(6(~)). lim(B), then since ~: J ~ [ l
JB' lira(B) also.)
(This last is because if
This proves the crucial claim, and
hence the theorem. We can now fill in the remaining gap in our study of SH(~) in L. Theorem 2 (Jensen) Assume V = L.
Let K be an inaccessible cardinal which is not weakly compact.
Then there is a Souslin <-tree. Proof: We construct a Souslin ~-tree much as in Theorem 9.2.
Thus, the elements of
our tree, %, are members of K, and we have ~ < B + ~ < 6. T
The construction
proceeds by induction on the levels so that for each ~ < K, T [~ is a normal (~, <)-tree.
Set T O = CO}.
If T
is defined we shall define T + I as in
Theorem 9.2 (viz. by appointing two successors to each member of T~ in some canonical manner).
But
Thus, as before, the construction hinges upon the limit
-137-
stages.
For these we proceed as before, only things are a little easier in some
respects. By Theorem I, let E ~ < be stationary in K but such that for no limit ~ < < is E Qa
stationary in a.
Let <Sa Is < <> satisfy
a < <, lim(a), and T~a is defined.
0K(E).
If ~ ~ E, let T
~
(Theorem 9.1).
Suppose
consist of one-point extensions
(chosen from < in some canonical manner) of each a-branch of T ~.
Since < is
~
inaccessible
and IT~al < < (as T ~
is, by hypothesis,
a normal (a, <)-tree),
IT +If < ~, and so T~(a + I) is an (a + I, <)-tree. Otherwise we consider S a. define T b
as above.
Otherwise,
of T~e such that x s b X
~
is not a maximal antichain of T ~ ,
for each x e T~a we pick (if possible)
and b X
any trouble, of course.)
If S
N S
# ~.
then we
an s-branch
(This last requirement will not cause
X
To obtain T , we appoint a one-point extension to each
bx, x ~ T ~ ,
in a canonical manner.
construction
is whether T ~(a + i) is normal in each of the above three cases.
we know E ~ ~ is not stationary such that C Q E = ~. construction,
Well,
in e, so we can find a closed unbounded set C ~ a
We may assume y E C ÷ lim(T) here of course.
for each y E C, all T-branches
induction on y g C we can construct, x.
The only point we must worry about in the
Then, by
of T~y were extended on T . Y
Hence, by
for each x s T~a, an s-branch of T~a containing
Hence T ~(a + I) is always normal for limit a < <. Set r = ~ < K T ~ ,
in Theorem 9.2.
a normal
(<, <)-tree.
The proof is complete. |
That T is Souslin is proved exactly as
Chapter 12
THE GAP-I TWO CARDINALS THEOREM
For the whole of this section, we shall let ~ first-order
language with a (distinguished)
theorem for such languages infinite
~-structure,
such that originally
~ ~ ~
and I ~ I
= ~-
The fol~owing generalisation
(E2~).
to an ~-structure
that the Lowenheim-Skolem
~k[<~,
K> + <%, k>].
+
++
<< , ~> * <% "two-cardinal"
, %>.
of this concept was
Let us say an ~-structure
~
the interpretation
We write
example,
The Lowenheim-Skolem
of course, and says that if 0~ is any
= K and IU~I = X, where U ~ denotes
arily equivalent
~
unary predicate U.
countable
and if ~ is any infinite cardinal then there is an ~ - s t r u c t u r e
suggested by Vaught
is well-known,
denote an arbitrary,
of type <~', %'>.
has type of the predicate
of type
Thus, it is easily seen, for
theorem stated above is equivalent
to the assertion
Now, it is easily seen that for no <, % do we have
+ + But what about << , <> + <% , %>?
analogue of the Lowenheim-Skolem
In other words, do we get a
theorem if we just consider pairs of
+ cardinals of the form (K , ~)?
For obvious reasons,
the statement
÷ <X +, %>] is known as the "Gap-i Two Cardinals Theorem'. this problem,
÷ <~B+y, ~B>]. theorem)
let us discuss briefly various other results on this topic in general.
Namely, he showed that if GCH be assumed, Since we clearly have
~e VB ~
+~, ~ >
<~ +~+~ , ~ > ÷ <~ +~, ~ > for any ~, 6, this completely solves the problem
selves with finite gaps.
, %> is false for all ~, %.
so, for example,
problem for the appropriate n.
to increase a ++ the statement
And by using the downward Lowenheim-Skolem-Tarski
theorem as above, the problem of decreasing
a finite gap can be reduced to a Gap-n
Thus the Gap-n Theorems play a central role in the
study of two cardinals models of ~ . such studies,
Hence we need only concern our-
It is easily seen that it is not possible
finite gap in a two cardinals theorem, + <%
then
in a very strong form,
(by the downward LSwenheim-Skolem-Tarski
when there is an infinite gap on the left hand side.
+++
K>
Before we go on to consider
In [2~ , Vaught proved the "Infinite Gap Two Cardinals Theorem" assuming GCH.
~K ~%[<~+,
To make life easier, we generally assume GCH in
since model theory becomes much more fun when there are saturated
-139-
structures,
etc. available.
Now, even without GCH, Vaught proved long ago that for
+
any
K ,
Later Chang proved that if GCH holds then for all
+ regular
k,<~l,m> +
Thus, only the result
<~i,~> +
remains to be proved with regards to the Gap-1 Theorem. Jensen under the assumption due to Silver. Silver.)
V = L.
for singular
This was proved by
We shall give here a proof of this result,
(Jensen's proof was much more complicated than the later one of
Since this proof is really just a generalisation
of both that of Vaught
and that of Chang, we c~nmence with an outline of these results. First we give a sketch proof of
<<+,<> + <~i,~>.
We use "structure" to
mean "infinite structure" throughout. Recall that if T is a consistent Z of ~-formulas
set of ~ - s e n t e n c e s ,
a l-t[~e of T is a set
with free variable x (only) which is consistent with T. A model 6~
of T omits Z iff there is no a e 6Y such that well-kno~rn, and is proved by a Henkin-style
~
Z[a]. The following lemma is
diagonalisation
argument.
Lemma i. Suppose Z has the property that whenever%0 (x) is an ~ - f o r m u l a T ~(x) model of
+ o(x) for all o c Z, then T ~ T
which omits Z.
such that
Then there is a countable
~Bx~(x).
l
Lemma 2. (Keisler) +
Let
K
be a cardinal,
~an
countable, there is a countable
Proof:
~-structure ~ ~
Let T = Th(~ ,b)U {b -
T
b =
Ug = U %.
enumerate
< c l n < ~ ) , where c is a new constant.
is consistent
to find a countable model We use lemma 1.
Let
such that
~'l is
~
•
Let
n
Z = {U(x)}U {x ~ b nlb n EU ~ } . so
~ ~ ~
OZ= <<+ ,<, <,''" >.
We may assume
<~,b>,
~ ,
<< ,<>. If ~ -
of type
Suppose
~*
Clearly,
Z U T
is finitely satisfiable
and • is a 1-type of T. of
T
which omits
~ (x,yI ,..-,yn,z) is an
in
It clearly suffices
Z. G-formula
such that
-140-
T ~0(x,~,c) see
+ E(x), where ~ = bil,...,bin.
at once that
T~
(Vt)(3z>
By a simple cc~pactness argument, we
t)q0(br,~,z)
for any
r < ~.
+
Suppose that and
b = ~
T
~ -~ B x ~ (x,b,c), however.
enumerates ~ , and
T ~ ~t)(B
~
T~(~t)(~z
has type
z > t)g0(br,b,z).
Then, since
>t)(3x)q0(x,~,z).
Th~
,b)
is complete
Using the facts that
and cf(K +) > K, this implies that for some b s U~ , r
A contradiction, so we are done.
I
Theorem 3 (Vaught) +
For all Proof:
K,
By lemma 2 and a simple elementary chain argument.
Assume GCH frc~ now on.
|
We prove that if k is regular and uncountable, then
+ <~I ,~> ÷ <~ ,k>. all
K
(Together with Theorem 3, this will prove
of course. )
for
Let ~ be an arbitrary uncountable regular cardinal until further
notice. If 6~ is an ~ - s t r u c t u r e ,
~
denotes the language ~ with the members of 6%.
added as constants which denote themselves in Let ~Z be an ~-structure.
We say 6Z is saturated if whenever Z(V 0) is a set of
fewer than 16~I formulas of ~ , w h i c h simultaneously satisfied in ~ . whenever
"v 0 eU" e Z(v 0 ).
~Z .
is finitely satisfiable in ~ , then Z(v 0) is
We say 0Z is U-saturated if the above holds
The following lemmas are standard.
Lemma 4 (i)
If
~ is an ~ - s t r u c t u r e ,
there is a saturated structure
~-
~
of cardinality
k. (ii) If
~,
~ are saturated
Z-structures of cardinality X and
06 - ~ , then
Lemma 5 Let ~
be an <~i,~> ~-structure,
and let ~
be a saturated
~-structure of
-141-
cardinality ~ such that ~ cardinality % such that
~ ~.
~
Then there is a saturated ~-structure ~' of
~',
~+~',u
=u
, ~=~'.l
Also easy, is the following lemma, which depends upon U-saturation quite strongly. Lemma 6 Let
OLbe a U-saturated ~-structure of cardinality %.
saturated ~-structure
~of
cardinality % such that
Then there is a
0~ ~ ~ and U ~ = U !
I
Finally we have the key lermna for our proof. Lepta 7 Assume ~ has a binary predicate letter E. are just those ~-structures ~ in which E
Let T O be the ~-theory whose models
is extensional and, whenever H is a
there is x ~ U ~ such that H = {y[yE~x}.
finite subset of U
Let < ~ [~ < ~ < ~+> be
an elementary tower of U-saturated models of T
of cardinality % such that 0 ~ < 0-[~ is U-saturated.
< ~' < 8 * U ~I~ = U01~'. Then ~ =
Proof: Let ~(v0) be a set of less than % ~ - f o r m u l a s finitely satisfaible in ~ . which are
~
-formulas.
that ~L ~ ~ Ez ].
containing "v 0 e U" which is
For each ~ < B, let ~ Since ~
is U-saturated, there is z
Similarly there is a w e g U
{xlxE ~ w } S U ~ and ExE ~ w
consist of those ~ s
÷ ~ ~ l~xjj
~ U ~ such
such that {z I~ ~ ~ < B} The sets { x l x E ~ w
}, ~ < B,
form a collection with the f.i.p., since any finite number of them will contain z
for ~ sufficiently large.
that t e ~
}.
So, as ~-60 is U-saturated, there is t ~ U
Clearly,
such
~[~ ~Et]. I
Theorem 8 (Chang) +
Proof: Much as in Theorem 3, we construct a proper elementary tower < ~ I ~ saturated ~-structures of cardinality % such that ~ < B < %+ + [ ~ ~
~ ~B & U~
= U~B] and such that ~ 0 ~ ~
<el, m> ~-structure. stages require lemma 5.
< %+> of ~ ~B &
where INS01 = ~ and ~ is a given
At limit stages we use both lemmas 7 and 6.
Successor
The initial stage is easy using lemma 4 (i), since we
-142-
need only ensure that IL~°I = J ~ 0 j. generality in assuming that ~ 0 ~ TO"
And of course, there is no loss of Then
~ =~
<~+~
is as required.~
+ Finally we prove that if < is singular, then <ml' ~> ÷ << ' <> holds if V = L. More precisely, we show that if GCH + D
<
be assumed, then this result holds.
assume this from now on, and let < be a singular cardinal, ~ = cf(~) < R.
So
We shall
work relative to a fixed (but arbitrary) sequence G : U ~ K of regular cardinals such that G(O) = O, G(1) > e, ~ < ~ < ~ ÷ G(a) < G(B), and sup(G"~) = <. <S I~ < K+ & lim(~)> be such that: then S S
(i) S
K
.
is a closed subset of e; (ii) if cf(~) > w
is unbounded in ~; (iii) IS I < ~; and (iv) y s S
is just the set of limit points of C Since K is singular,
÷ S
= YnS
.
IS [ < K for all ~.]
Note that ~ e S + lim(a). y ~ is special if
~ = 0
< >> is an elementary tower of saturated structures such that I ~
each a.
A mapping r: 0L ÷ ~ is a rankin~ of ~
r(x) = the least a such that x e ~ + I then it is special.
[Clearly,
in ~, where
Let 0 ~ b e an ~-structure of cardinality K. <~el~
By ~J<, let
~
, where
I = G(a) for
iff there is such a tower for which
for all x e ~ .
Note that if ~
Similarly UTSpecial and U-ranking.
has a ranking,
The following lemma is easily
proved using our lelmmas on saturation: Lemma 9 (i)
Let ~ b e
(ii)
Let 0i, ~
is f: ~ ~
~
(iii) Let ~ ---~ . (iv)
an ~-structure.
that 4 ~
(~,
such that
~ ~ ~.
be special ~-structures with rankings r, s (reap), 0-[ - ~ .
There
such that s(f(x)) = r(x) for all x e ~ . he U-special with U-ranking r and let ~
be an ~-strueture of type <ml' e>"
with U-ranking r,
(~,
~
he special with ranking s,
There is f: ~['< ~ such that ran(f) =- U ~ and s(f(x)) = r(x) for all x s ~
Let ~
Let
There is a special structure
~ - ~
, ~+£',U ~,
~'
Let
~ be a U-special
There is a special structure
=U
•
~-structure
with ranking r
such
,andr=r'.l
be U-special
~-structures with U-ranking r, r' (reap.). We write: ~I' r ) ~ ( g t ' , r ' ) iff ~ ' < ~Y~' & r ~_r ' & U = U eL' r) coy(01', r') iff ~ ~< ~' & r~U ~L = r'~U ~ & U = U & (r(x) < y ÷ r'(x) < y) &
(r(x)
>~ y +
r(x)
= r'(x))
-143-
(01, r) c~ (61', r') iff (~y)[(O],
r) 0~y (Ol', r')].
Theorem i0 (Jensen) +
Proof:
60>
+
<<
(Silver)
,
<>
Let
as before.
.
~ be a given <Wl, ~> i-structure.
We construct a sequence < ( ~
We may assume that ~ ~ TO,
, r )[a < <+> such that < ~
Is < <+> +
is a proper elementary tower of U-special structures such that a < B < < + U
= U
, and r
~L = U < < + ~ e
is a U-ranking of ~
, each e, where ~ ~ ~ . Thus ~ 0 The construction is carried out so as to
will be as required.
preserve the following conditions: (A) a < E ÷ ( ~ ,
r ) oc (~B'
(B) ~ e S B ÷ (0~ , r ) <
rE);
(O~B, rE) ;
(C) if ~ = S (G(B)), then x e ~[ 7
- ~ 7
÷ r (x) >. B. c~
7
By lemma 9 (i), let (0l 0 , r0) be arbitrary so that ~ 0 successor stages in the induction are trivial. and (C) arise.) Case i.
S
By lermma 9 (iv),
(In particular, no new cases of (B)
is eofinal in ~. = ~ ,cS r ,.
Note that r~ is a function. by (B), r E _c rB,.]
[For suppose B, B' e S , B < E'.
We show that r~ is in fact a U-ranking of
let ~ B = <{x ~ O~ Ir (x) < B} .... >. elementary submodel of ~ (since S~ = U y a S
of cardinality G(B).
Then B ~ S B,, so For each B < ~,
~B is a U-saturated
Well, by (C) at earlier stages
Sy), we see that only the first G(B) terms in <(~y17 c S > give
For each ~ < 6, set
(Again, since S~ = ~ y a S each
0~.
We must prove that each
elements of rank less than B, so certainly
induction,
~.
Assume, then, that ~ < <+, lim(~), and <(0qB, rE)IB < ~> is defined.
Set 0 ~ = D ,¢S 0"~,, r
otp(S~)).
-
~B,[
I ~BI
~E,~ = {x ~ ~ I r
= G(B).
Now set 6 = min(G(E),
(x) < B}.
Thus
~B = ~ < 6
Sy, we only need (B) at earlier stages for this.)
~ B,~" By
is a U-saturated structure of cardinality G(E) and < ~E,[I[ < 6>
is an elementary tower such that [I < [2 < 6 ÷ U~B'[I = U ~E'[2. is a U-saturated structure of cardinality G(B). ing of ~[ , and hence that ~
is U-special.
Hence by lermma 7,
This proves that r
Clearly,
is a U-rank-
(A), (B), and (C) are preserved.
-144-
Case 2.
Otherwise.
(Hence cf(e) = ~.)
Let <s In < ~> be cofinal in s with s 0 = sup(So). n G(~) > otp(Se).
Let ~ be least such that
Since (~I, r) =# (~', r') & ~ < ~' < ~ ÷ (~, r)= ,(~', r'), we
can pick a monotone sequence <~nln < m> of ordinals such that ~0 = O, ~I > ~' and ~n < ~' such that (O~si, rei)=~i+l(~ei+l,
rsi+l).
Set ~ e = ~ i < ~ e • x ~ ~si •
(= ~s'<sO~e')" For x ~ ~Ls, let i(x) be the least i such that i Set rs (x) = max (#i (x) , rsi(x)), each x. We show that the function rs is
a U-ranklng of ~L e.
Define ~B, B < ~ as before.
Suppose first that ~i < B ~< ~i+l"
Then ~B = {x s ~silre.(x) < B}, which is a U-saturated model of cardinality G(B), I by induction. EThe equality here hold because of two facts. Firstly, no new elements x such that rs(x) < B appear after ~ei.
Secondly, if j < i and x e ~ j ,
rej(x) < ~,
then re.(x) < B (even if rs.(x) # rsi(x)). ] Now suppose that B >~ suPi<~ i. Then i j ~B = Ui<m ~ , i ' where ~ B,i = <{x ~ 01silrsi(x) < B} ....>, and l e n a 7 applies (by induction hypothesis).
Hence r is a U-ranklng of 0] and ~ is U-special• s s' s
We
must check (A), (B), and (C). For (B), note that -~is transitive and (~e 0, re0) "~ (0~e, rs) holds by definition of re . For (C), note that (C) holds for y = s 0 because S = S O{s 0} and becuase, for i > O, ~i > ~" It remains to check (A). By the s s0 transitivity of =, it suffices to show (~si, rsi)=~i(~ s, re). Suppose first that i(x) = i.
Then re(x) = rsi(x).
since (0~sj,. re ) ~ i ( ~ s i , j re(x) = rej(x) = rei(x).
Suppose next that i(x) = j < i but rei(x) >~ ~i"
rsi) , rsj (x) >~ ~i' so rej(x) = rsl(x),, whence In either case, (C) is proved. |
Then
Chapter 13 GAP-1 MORASSES In chapter 12, we showed that if V = L, then V K V k [ < < + , < > +
and GCH, not the full power of V = L).
What about the Gap-2
Theorem ? Well, Silver ([19]) has shown that, for example, <~4,~2 > ~ <~3,~i > cannot be proved in ZFC + GCH, so some assumption stronger than GCH is required even for regular cardinals.
V = L is a natural assumption to try, and Jensen has shown that
in fact V = L does imply the Gap-2 Theorem.
We shall give his proof of this in the
next chapter, but first we must develop an important combinatorial property of L to make this proof work. This property is quite a general one, and is not specifically concerned with model theory. Nevertheless, the motivation for its development is the Gap-2 Theorem, and this does give a convenient starting point. Let us therefore consider the Gap-2 Theorem for a few moments. Suppose we were to try to generalise the method of Chang outlined in the previous chapter. Well, to make the construction work, it was necessary to use U-saturated structures (or strictly countable structures in the case of the Keisler-Vaught proof of the first case), and it is easily seen that if ~ is U-saturated, then I~I
= IUOZI (and in the Keisler-Vaught
case countability was important),so there is no chance of extending the elementary tower from ~+ to ~++ (or to ~2 in the Keisler-Vaught proof) to obtain a gap-2 structure,even if we were to make clever use of the fact that we were c(~nmencin6 with a gap-2 structure and not just a gap-1 structure.So,we must adopt a somewhat different approach if we wish to prove the Gap-2 theorem in L.But some similarity with the Keisler-Vaught/Chang method would seem to be inevitable.For,consider the reasoning behind their approach.They wish to construct a certain model of type
-146-
prove the Gap-2 theroem we ought perhaps be able to determine cardinality
%++ by means of a process of successive
each approximation
being of cardinality
%.
a structure of
approximation
of length %+,
Now, if one just uses an elementary chain,
then there is no hope, since all one could ever determine by such a process would be a structure of cardinality system,
%+.
But if one were to construct some sort of directed
then there may be some chance.
For example,
and suppose we appoint immediate successors canonical way.
to each cofinal branch of ~ in some
Then we can regard the levels of T as being approximations
"top level" of our extended countable,
suppose T is a Kurepa tree,
tree,
and the tree structure
There are ~I levels of T, each of which is itself gives a precise description of the way in
which the top level is uniquely determined by the approximation first try at proving the Gap-2 theorem might be to well-order tree in some manner,
procedure.
Thus, a
the levels of a Kurepa
and then proceed up the tree, level by level, attaching
countable homogeneous
structure
(say) a
to each point of the tree, and then take the direct
limit (in some manner) of the "topped" attached
to the
structure.
Thus, if ~
and ~
are structures
to points ~, B of T and ~ and B are on the some level of ~, with ~ preceeding
in the well order of the level of e, ~, we would demand if ~
: ~
~
~
.
(for example)
~
~
~
B
, and
(say) that there is an elementary
Other requirements
would then be necessary.
the e m b e d d i n g s o B , e
system
(i.e. ~ B y o ~
We would want
=~¥
for
e
%B
= Oy6~
precede y, d in the well-orderings ~.
Given such a set-up,
of the levels, then we would want
the "top-level"
structures would be determined
entirely by the lower system as limits of directed elementary level would consist of a proper elementary union would be as required. reader,
tower of structures
systems,
and the top
of length ~2, whose
Now, in case we have created too much enthusiasm in the
let us at this point state that it is easy to see flaws in the above outline.
A Kurepa tree just is not good enough.
However,
hopefully,
convinced the reader of its feasibility
for a short while.
the speed of our outline And it is the picture he
had in mind at that time which we shall work on, since chances are it resembled the structure we really require more than it did a Kurepa tree.
-147-
Our strategy then is to approximate a structure of cardinality K + by means of a K-sequence of structures of cardinality less than <. we shall assume K = ~I here.
To fix ideas once and for all,
We shall thus describe how to approximate a structure
of cardinality ~2 by means of an ml-sequence of countable structures.
Everything we
do in this chapter generalises to arbitrary regular, uncountable K in place of ~I in a straightforward manner.
To begin with, let us consider a very simple "structure" of
cardinality w2, namely the ordinal w 2.
For notational convenience, let us first of
all identify ~2 with the ordinal interval
E~I, m2 ) , and consider this.
tried to approximate [~I' w2) by intervals
[~, B) where e < B < ~I"
Suppose we
Then we could
illustrate the approximation procedure thus:
•
,
•
o
•
°
4
~
°
The idea is that, to make an intelligible diagram, we "flip over" the intervals concerned, as illustrated.
(Since each interval [e, B) is countable, we can assume
they are all disjoint, so that this "flipping" really is just diagramatical.)
Note
that we have not described how the interval [~I' w2) is actually determined by the smaller intervals [~, B), ~ < B < ~I"
What we want then is some way of determining,
for each point of [wl, w2), which points of the various
[~, B)'s approximate it.
for each 6 such that w I < 6 < w 2, the interval E~I, 6) has cardinality ~I' so can indeed be defined as the limit of an Wl-chain of countable intervals certain embeddings.
E~, B) under
Thus, in the following diagram the line descending from 6 is
intended to convey the "path" which we must follow in order to determine
[ml' 6).
Now,
-148-
(More precisely, if ~ preceedes ~' on this line then there must be an embedding ~$$, of [~, ~) into [~', B'), as shown, whence, providing the OBB,'s commute along this path, ~9 I, 6) will be the limit of the ~-system along it.
0 ....... °
Now, for each ~ ~ [Wl, ~2 ) , we can carry out the above procedure.
The only
difficulty is to ensure that the directed systems for all the different 6's all coalesce nicely below 91, because this part of the structure must consist of at most 91 countable intervals, for reasons already indicated. of a morass.
This brings us to the notion
More precisely, we are going to describe an el-morass, since the more
general notion of a K-morass, for < regular and uncountable, is entirely similar.
It
turns out to he a little easier to think not of intervals [~, ~), [91 , 92 ) but of certain closed subsets of such intervals.
This is because, having defined a morass,
we shall construct one in L, and to do so we shall consider p.r. closed ordinals only. (It is not really surprising that there will be a morass in L of course, since our basic notion is clearly tied up with the ideas of the condensation lemma to some extent.) We commence with the formal definition of the (91-)morass.
Unfortunately, the
reader cannot really avoid sitting down and drawing several diagrams for himself to illustrate each axiom as we give it.
We shall give a couple of instances of such
diagrams to start the ball rolling however, immediately following the completion of
-149-
the definition. Let ~
be a set of ordered pairs of primitive recursive closed ordinals
< ~ < ~2 such that whenever , e ~ ,
set sO = {~ ~ ~
+ lI(~-)[<~,
a < a' ÷ ~ < ~'.
,> ~ 2 ] ~ ;
S = S O U SI; S
= {~ e SII e ~ } ,
for a e sO;
a
= that unique ordinal a e S O such that e ~ ,
Let -9 be a tree on S 1 such that D -9 T ÷ a Let {~
Iv-~}
< a • T
be a commutative system of maps ~
Then, the structure ~ =
<S,~,-9,
for ~ e SI.
:(v + I) ÷ (~ + I).
> is an (~I' l)-morass if the
(~)~T
following axioms are satisfied. (MO)
(a) S
is closed in sup(S ), all ~ g S0;
(b) ~I = max(S0) = sup(S° ~ ~I ); ~2 = sup(S~l)" (MI)
If ~-~ T, then ~ into
Sa
N
T so
= id~,
~ T(~ ) = at, ~
(v) = ~, and ~ T
maps S ~ ~ v
that:
T
(i)
if y is initial in S~ , then ~ r(y) is initial in Su ; T
(ii)
if y immediately succeeds ~ in S~ ~ v, then ~ ~ ) in
Sa
~mm-succeeds ~ T (~)
; T
(iii) if ~ is a limit point in Sa
N ~, then ~ T(~) is a limit point in S~ .
T is closed in ~ .
(M3)
{a I ~ - - ~ }
(M4)
~ not maximal in S~
÷ {a I~-~ ~} unbounded in ~ . T
(MS)
{a I~ --~} unbounded in a t ÷ •
(M6)
~ a limit point of So_ & ~ - ~ T 7 a limit point of Sa_- & ~ - ~ T T
(M7)
~U~
~
& i = sup~<--~(~) = sup~<~(~)
÷ ( ~'
+ ~
I & ~XI~
&a e ~ v e S ~ { a
~ s)(~
T' ~ T).
That cor~letes the definition. Suppose that for each ~ ~ S I there is U
~ ~ x ~ such that:
= ~ .
]~_-3 ~ _ ~ r ( ~ ) }
-150-
(i)
~ s S~T~
T ÷ U
= U T n(v × ~);
(ii) U = ~ E s ~ I U ~ is such that enumerates all bounded subsets of w . 2 Let ~ ~*
be as above, and consider the structure j~* = < ~ ,
(U)
is a universal ml-morass iff for each v-~ T, ~ T " •
~.
We say ~
UT~
The following diagram is intended to illustrate the notation•
so ~e~ nT T
%
0
] so
Note that we use vertical lines to denote the tree-e.
Comparing this with our
earlier diagram, we see that an initial segment S~I N T of S~I for T ~ S~I, is determined as the direct limit of the system < ( S ~
N ~)~-@T'
(~)~
~T>.
axioms (M4) and (145), we see that this really will determine .... all of S~I ~ T.~ now clear why (M2) should be necessary. procedures Sml.
[By It is
We clearly want the various approximation
to fit together smoothly as we progress from left to right along, say,
In diagramatic form, we could illustrate
(M2) thus:
-151-
W
(M2) asserts that the line between ~ and ~ is a -~-line, ~-IV = ~-~. TT UV
and that
(Note that the second conclusion here cannot even be asserted until
the first is known, since ~
is only ever defined for ~
(M3) and (M4) are natural enough,
though
~ .)
(M4) has the strange-seeming
consequence
that if ~ is a successor point of S O , then IS I = I, so that the approximations S~I do not "get better" monotonically which,
together with
(M5), ensures,
as we proceed up S O .
in particular,
to
And of course it is (M4)
that every initial part of S~I is
entirely determined by the morass below ~I" (M6) and (MT) are "continuity" systems
fit together.
importance
axioms for the way the various approximation
We leave the reader to puzzle out the diagrams.
of (M6) and (MT) will become apparent when we use the morass,
The in the next
chapter. So far, we have not said why we bothered morass.
Certainly
next chapter,
to introduce
the concept of a universal
for the gap-2 theorem which we shall prove using a morass in the
all that we require is a morass.
universal morass is required. easy, but instructive,
However,
for several other uses, a
(One of these uses occurs in [2].)
exercise to deduce the combinational
existence of a universal <-morass.
Finally,
it illustrates
Also, it is an
principle<
from the
the fact that one can
-152-
"carry along" quite a lot of extra structure
on a morass,
if required.
(When we
prove that there is a morass in L, we shall in fact prove there is a universal one~) Before we commence with our proof that there is a morass in L, let us indicate how the above notion generalises.
In the above, we determine
cardinality ~2 by means of ~I countable structures. is one cardinallty higher than the approximating or, more precisely, visualising
an (~I' l)-morass.
an (~I' 2)-morass,
~3 is so determined.
~
Since the structure determined
procedure, we call it a Ga_~_7~ morass,
The reader should now have no trouble in
i.e. a gap-2 ~1-morass, where a structure
Of course, one would require three dimensions
such a structure,
since it would resemble a "morass of morasses"
such a structure,
one would have, instead of
However,
More surprisingly,
of cardinality
to illustrate
so as to speak.
In
~ as above, a set ~ + of ordered triples,
and instead of S O , S I a ~iple of sets S O , S I , S 2. for all n g ~.
structure of
Similarly,
there are gap-n morasses
there are also morasses with infinite gaps.
the complexity of even gap-2 morasses
is so great as to warrant a separate
treatment of their own (though such a treatment would be uniform for all countable gaps greater than I, at least).
In the next chapter we shall use a gap-i morass
prove the gap-2 theorem in L (note the different meanings gap-n morass, one can prove, in an analogous, gap-(n + i) theorem.
Henceforth,
of 'gap' here).
though more complex manner,
we shall leave all generalisations
to
Using a the
to higher gaps
(in either sense of the word "gap") to the readers imagination. From now on, we shall assume V = L. Our strategy is to formulate a certain combinatorial a universal
(~i' l)-morass with the aid of ~ .
(in L).
is not intended to be particularly
~
principle, ~ , and construct
We shall then show that ~ intuitive.
It simply embodies enough
of the fine structure of L to enable one to construct a morass, morasses
are concerned,
For any structure all ~0-formulas
and so, as far as
it is the "hear~' of the matter~ of the form <Jp, A>, we write X- iff X ~ Jp and for
~(v0, Vl) with parameters
~<X,AnX>
is true
(~)(~
from X,
> ~)~(~' JB ) iff ~<j ,A> ( ~ ) ( ~ > ~)~(~' JB )" O In this case, we say X is a ~-submodel of <Jp, A>. Clearly, if lim(p), then
-153-
X-~Q <Jp, A> implies X~<~I <Jp, A>. cofinal in p, then X ~ Q
Conversely,
if X-<~0 <Jp, A> and X ~ p is
<Jp, A>.
In order to formulate ~ , we need to first of all define the domain and pairing predicate of our intended morass. Set
~ = {<~, v>l~ < v < ~02 & , is p.m. closed & ~ = mlJv & b J
"~ is the
largest cardinal"}. Define S O , S I, S, S , ev as usual.
Note that S~ ~, is uniformly ~ ' ( { ~ M
}),
~ ~ S I. For ~ ~ S I, set: B(~) = the least B >. v such that ~ is not regular at B; n(~) = the least n >. 1 such that v is not In-regular at ~; p(~)
n(~)-I • = p~(~)
(Note that p(v) >. ~, by choice of ~, n, p.)
~n(~)-l"
A(v) = "~B(~)
: There is a sequence
is ~I - d e f i n a b l e
in <J),
C > from parameters
(3) < C~ 1~ E S~ ~ > is uniformly ~I <Jp(~), A(~)>. M (4) Suppose ~ .< v, ~ c_ J~, and ~: <Jr' ~ > ~ Q <J~' c~>. ~(~)
i n c~.);
Then 7 E S I, ~ = C~, and
= ~v' and there is a ~ ~ ~ such that ~: <Jp(~), A(~)>-4~I <Jp(v)' A(~)>.
Furthermore,
0 is uniquely
determined
by ~ ' - .
(5) Suppose ~ is a limit point of So~- and ~: <J~, C--> -~Q <Jr' C >. v X = s u p v , < ~ ~ ( ' 0 ' ) , t h e n X ~ Sc~ a n d C)~ = % c~ Cu. M A s s u m i n g ~) , we d e f i n e --
a m o r a s s on S as f o l l o w s .
For v, ~ E SI, set ~ _ ~ ~ +_~ ~
By
If
< ~
& (~)[~:
<J~, C ~ - < Q
<j
, C > &
~(4), the map ~ in the above is unique, so we may denote it by ~^
For 7 _ - ~ ,
define ~ :
It is immediate
(~ + I) ÷ (~ + I) by ~-- = (~-~ ~7) o{<~, ~-->}.
that -~ is a tree and the systems of maps {~v~I~-.~ ~},
.
-154-
{~F-q~}
are commutative.
SetJl
<s,~
=
,
~
,
(~)7~,
(MO)
This is easily checked.
(MI)
By ~(4)
~v(a-~) = a .
>
We show that J~ is an (~I' l)-morass.
The rest is easy to check.
In particular,
(MI) (ill)
holds because of our definition o f ~ Q . (M2)
This is easy to see, using
~(3) & (4).
(M3)
The union of an increasing chain of Q-elementary submodels is clearly a Qelementary submodel, so (M3) follows from ~(4).
(M4)
Suppose ~ is not maximal in Sa that ~-- > y.
Claim i.
and let y < ~
be given.
We seek a ~ ~ ~ such
We require the following, very general:
For any ~ s S a ,
~jp (~) "~v is regular".
If 0(~) = ~, then this holds because ~ s S~ , of course. NOW, as P(~) ,< B('), kj0(v ) "~ is a regular cardinal"•
Suppose p(~) > ~.
Since ~ ~ S
a regular cardinal in J ~ " , by absoluteness considerations.
is , I=j p(~) Hence, ~jp(~) "a is a
regular cardinal", since, in~'ZFC"+ V = L, if < is regular and I=j then % is regular.
QED.
Now, by choice of +, we can pick • ~ S regular".
By
"% is regular",
~(3) ' C v 8 J0(T) .
, T > +.
By claim i, l=jp(T ) "a
is
Also, the canonical I] -skolem function for
<J , C+> is an element of Jp(T)' and does not lead out of JO(T).
But look, using
this skolem function, there is a canonical way of constructing, within JO(T)' X~Q
<J , C > such that y ~ a
y E ~
N X s ~ .
-~ +. (M5)
~ X s On.
So, as ~
is regular in Jp(T)'
In the real world, if we now set J~ % X, then
~(4) implies that
But by construction, 0~ > y, so (M4) is proven. Let {%1-v-~ v} be unbounded in ~ Let x c J .
<J~, C > from ~.
% ~ " J^ ~
•
We show that J - ~ d - ~ _ ~
By ~Q(2), there are ~ g e
~-~ "j--.
^
such that x is ~l-definable in
By hypothesis, pick ~ - ~ ~ so that ~ s o~-.~ Since
<J, %>,x ~ ~-. ~ "J-,,
as required•
-I (M6)
Let ~ be a limit point of ScL_, ~ - ~ + , ^ -e % and ~ % = +~ .
% --supT<~ ~ v ( r ) .
We show that
-155-
Since r a n ( ~ )
~ J%, ~
: <J~, C~>~y
<Jx' C
by choice of %, this embedding is cofinal. But by ~(5), C
~ % = C%.
Q X>, by ~$absoluteness.
Hence ~
: <J~, C~>~.
Hence, by uniqueness, ~ %
(MT) Let ~- be a limit point of Sc~ , ~ - ~ v
But
^
and ~
= ~X"
= sup=--p~"~-. Let ~ s {~ I~ ---~n ~ - ( r ) }
V
for all
"r ~ Sc~- ~ ~'.
F o r e a c h "r e Sc~-
S e t ~)' = s u p { n ( T ) l - r
We s e e k '~' s S
13 v ,
iet
such that
v ~ x)' ~ u .
unique
n a Sc~ s u c h t h a t
~lCr) b e t h a t
e Sa_ n'~'}.
T h u s ~)' e Sa ,
a s Sa i s
closed.
~c ~ q ~
)(-c).
We show t h a t
"O
~'--~.
By (M2), if r, ~' ~ S0~_~ ~, r < ~', then n~,~(~) = ~ ,r ,q(~,)~J and ~ (~),~,o(y) = ~n(~,),~ (~,)~J (T). Thus, we may define functions ~0' ~I by:
V
Clearly, ~I o ~0 : J~-<~0 J
cofinally, so ~I ° ~0 : J~-~Q J "
Let x e J--. Then for some ~ s S
n~-, x e J
= ~I ° =0(x) (by com~utativity considerations). Let C = ~-I"(CIv n ran(~l)).
and by (M2), ~ -
~^
=
(x)
Hence =I ~ =0 = ~ "
Thus ~I: <Jr'' C>~<~0 <J , C > cofinally. ^
~(4), therefore, C = C ,, whence ~' ~ ~ and ~I = ~'~" ~0 = ~v'"
(x)
Similarly, ~_-~'
By
and
This proves (M7).
Hence .~ is an (~I' l)-morass. Let U ~ (i)
2
×
~2
It remains to expand ~
be the canonical ~ 2 - p r e d i c a t e
to a universal morass.
such that
U"{~} ~ ~;
(ii) enumerates all bounded subsets of ~2; ~T
(iii) v < T -~ U {v} <j U"{T}. For each ~ s S
, set U
= U ~(v × ~).
1
~ S~I and ~-~ ~, then ~--~ ~ J~-<~l J~' so U Clearly,
<S, ~ , -~, ( ~ v ) ~ _ ~ ,
We turn now to the proof of ~ . ~1 -skolem functions.
Thus U
is ~ , by choice of U. J induces a ZI~ set U~ ~ × v.
If
(U)~eSI> is a universal (~I' l)-morass.
Before we commence, we must choose specific
So, let <JP" A> be arbitrary.
Define a function h = hp'A as
-156-
follows.
Let <~i li < w> be a recursive enumeration of all formulas of the form
~i(x) - ~y~i(y, x), where ~i is ~0"
Fix <~il i < m> once and for all:
For i e ~,
x ~ Jp, define rp,A(i, x) _~ the <j-least v ~ Jp such that l=<jp, A>~i ((v)0' (V)l, x)Define hp,A(i, x) ~_ (rp,A(i , x)) I,
Thus, for i g ~, x g Jp, y ~ Jp,
y = h(i, x) *-+ ~v[v is the <j-least v ~ J
P
such that ~<j ,A>~i((v)0, p
(v) I, x)
& (v) I = y] *-+ ~ v ~ w [ w (~v' g w)-7~i((v') 0 ,
= {zlz <j v} & ~<j ,A>Ti((v)0, (v)l, x) & o (V')l, x) & (v) l = y]. Let O be a 10 -formula such that for all
and all v E J , w = {zlz <j v} +-~ l=j ~te(t, w, v). Then, v y = h(i, x) ~+ ~ v ~ w ~t[~<j ,A>[O(t, w, v) & y = (v) & ~i((v)0, p I (~v' g w)-~i((v')0, (v')l, x)]]. Define H by o,A H(z,y , i, x) +-+ ~<Jp,A>[e((z)2,
(V)l, x) &
(z)l, (z) 0) & y = ((z)0) l & ~i(((z)0) 0, ((z)0) I, x)
(Vv' ~ (z)~)~Ti((v') 0, (v' I , x)] Then H p,A is Lv<J 0 p ,A> and y = hp,A(i, x) ~-+ ( ~z ~ Jp)H(z, y, i, x). q < 0, then H n ' A q J n y = h ,A(i, x). on J . P
Moreover, if
= Hp'A ~(Jq)q' so for x, y ~ Jq, y = hq, A qjq(i, x) ++
Also, of course, if <Jp, A> is amenable, then hp ,A is ~]Jp,A> predicate
But, even if <J , A> is not amenable, we still have: P
Claim 2.
Let q .< 0, p s JP"
Then h"(~0 × (Jn × {P}))-
Suppose first that z = h(i,
We show that z is El-
Clearly, z = (v) I where v = the <j-least v c Jp
(V) l,
But then z is as stated.
Now set X = h"(~ x (Jn x {p})), and let Zl,..., zm E X be given such that ~x~i(x, z ..... Zn~). By our remark above, we can find Yl ..... Ym e J <Jp ,A> I q such that, for each j, zj is Zl-definable in <Jp, A> from y~, p. Hence we can find j = j(i) so that, setting y =
,A
>% (h(j j
'
-157-
Thus, ~<j ,A>~j(h(j,
for amenable <J P' A>.
to consider arbitrary structures <Jp,A> if <J ZI
<J
A>.
p'
the claim.
Earlier it was only necessary
to
For our present purposes, we want
Of course, h
will not necessarily be
p,A
A> is not amenable, but this will not matter.
Claim 2 is the
P'
important point, together with the fact that the definition of hp, A is uniform over all <Jp, A>. We may now get down to business. Let ~ e S I. A = A(~).
For convenience,
we set a = a , B = S(~), n = n(v), p = p(v),
This convention will be retained throughout.
Le=~na I n
pB,
Since a is the largest cardinal
in J , there is a [n(JB) map f such that f"a
is cofinal in ~, by choice of B, n. follows
that
n PB "< x).
(For if
f = f q(~ x ~) e J n _cJB.) PB g"x) = J13"
Now, f o r
each
Since ~JB ''~ is regular",
f ~ JB"
This means that there is a [n(JB) map g such that
"r < %
there
is
fT e Jx) s u c h t h a t
f,r:
ONTO c~ 4"r; and i f
we take fT to be the <j-least such, then fT will be El-definable J~.
Using f, we can therefore
g~
construct
S 1 into
two d i s j o i n t
sets
from a, T in
a ~n(Js) map ~ so that ~"a = ~.
is a ~n(J~) map of a subset of ~ onto JB' so pnS ~< a .
Partition
It
n Pf3 > x), t h e n by a m e n a b i l i t y ,
P , R by s e t t i n g
Then
QED.
P = {~) e s l l n = 1 & g = Y + 1
for some y}, R = S 1 - P. We shall take for Cv a canonical p.r. coding as a subset of ~ of the set E
~ ~ x J
~
to be defined below.
Setting
subset of v, so it will suffice to verify The construction
E 0 = { ( x ) Ix E E }, E 0 w i l l ~ 0 ~
with E
Case I.
~ e P.
in place of C .
takes place in two entirely disjoint
whether v c P or ~ e R. Let B = Y + I.
Thus y = y(~).
b e an u n b o u n d e d
cases, depending on
-158-
Note that as lim(v), v g T.
Also, of course, p = B, A = ¢.
Lemma 2 There is p ~ J J
such that every x ~ J
Y
T
is J -definable from parameters in Y
u{p}.
Proof: By lemma 1, t h e r e i s p ~ JB such t h a t e v e r y x ~ J~3 i s Z l - d e f i n a b l e i n Jig from parameters in J a o { p } .
Since J~ = rud(J ), there is a rud. function f and an Y
element p ~ Jy such t h a t p = f ( J T , p). lemma.
Let x ~ Jy be arbitrary.
We show t h a t p i s as claimed i n the
Then for some Z0 formula ~ and some z E Ja'
x is the unique x ~ J~ such that ( ~ y
~ J~)[~jBC(y, ~, p, x)].
Since
JB = ~m<wSm(jT )' we can find m < ~ such that ( ~y ~ sm(JT)) [~Sm j )¢(y, ~, f(Jy, p), x)~.
~(~
statement p ~ J
(with parameters x, z, p) in J . ¥
u{p}.
Every x s J
T
Hence x is J -definable from z, Y
QED.
Let p = p(~) = the <j-least p e J (i)
But this can be written as a first-order-
¥
such that:
is J -definable from parameters ¥
(ii) e is ~I -definable
in J
Y
in ~ u{p};
from p.
This is possible by lemma 2 (for (i)) and the fact that ~ < ~ ~ T (for (ii)). For each m < ~, set Xm+ I = {x c J I x is ~~m+l-definable T ~{p}}.
in J
from parameters in
Thus Xm+l-
Note that
p e Xm+ I for all m, and hence ~ e Xm+ I for all m. Lemma 3 For all m < m, Xm+ I N J~ is transitive. Proof: For each ~ < ~, let f~ be the <j-least map f~: ~ ON~+O ~.
Since ~ is the
largest cardinal in J , f~ e Jv is always defined, and is El-definable
in JT
from ~, ~ (and hence from p, ~). Suppose $ c Xm+ I q ~. definition,
~ ~ Xm+ I.
is Xm+ I ~ J .
QED.
Then as ~, $ ~ Xm+l-<~m+l Jy, f~ c Xm+ I.
Thus ~ = f "~ ~ Xm+ I.
But by
Hence Xm+ 1 q ~ is transitive, whence so
-159-
Set J
= Xm+ I ~ J), all m < ~. Put ~ = ~. Thus < ~ m l m < ~> is non"Om+l 0 decreasing and cofinal in ~ (if not eventually equal to ~, which we shall later see it is, in fact, not~). Let ~m+l: Xm+l ~ JY
, all m < ~, and put y m+l
= ~. 0
By definition of JYm+l' there is a JYm+l-definable map of ~ onto ~m+l' so as is regular at y, Ym+l < ~ for all m.
But clearly, ~m+l ~ Ym+l for all m, so
SUPm<~y m = ~. Se~ Pm+l = ~ m + l (p)' e a c h m < ~, and set P0 = o. Let E~ = {
E 0 is an unbounded subset of ~ and E
(I)
<J , E > is amenable.
(2)
Every x s J
(3)
<E717 s So
(4)
Suppose ~ ~ v, E ~ J ~ ,
~ J .
is ~ -definable in <J , E > from parameters in o. ~ ~ nP>
is uniformly ~I ands:
<J ,A> P
<J~, E > ~ Q
<J , E >.
Then ~ s P, ~ = E~, and
~(o~) = ~ .
Furthermore, there is a unique ~ _~ o such that ~: Jp (~) ~ . JP (~) I and ~(p(~)) = p(~). (Note that, as V, ~ ~ P here, p(~) = B(~), p(v) = ~(~),
and A(~) = A(~) = ~.
Note also that, by (2), CT(and hence ~) is uniquely
determined by ~ . ) (5)
Suppose ~ is a limit point of So_ and ~: <J~, E~>-. % = sup~,<~ ~(~'), then X g S
Proof:
~ P and E% = E
If
~ JX"
(0) Since S U P m < ~ m = ~ and m < ~ + Ym < ~' (O) is clearly true.
(i) Since E 0 is an unbounded m-sequence in ~, <J , E > is trivially amenable. (2) Now, the monotone enumeration of E 0 is clearly y<Jv 'E~ > f: ~ + ~ defined by f(m) = Ym is ~<J~'E~>. -I
In other words, the map
Since ~ s S~, for each m < ~, the
<j-least map ~m: ~ ONTO Jf(m) lies in J , and is El-definable in J~ from ~, f(m). <J,Ev> ONTO Hence, using f and <~ Im < ~> we can construct a ~ ({o}) map g: ~ -~ J • m ' -I But look ~ = Y0 = first element of E~, so o is El -definable in <J , E >.
Hence g
-160-
is in fact ~ <Jv'Ev> . -I (3) Clear
(2) follows
from the definitions.
(Note that ~ c S~
of S~ .) v (4) Suppose v, E, ~ are as in (4). And,
We m u s t
N v ~ B(~) < B(v), by definition
show that ~ E P, E = E~, and ~ ( ~ )
since p(~) = 8(~) = y(~) + i and p = B = y + i (and hence Jp(~)
and Jp = rud(Jy)),
we must show that there
J Y and ~(p(~))
: Jy(~) ~ 6':
immediately.
JP(~)-<~l
= p.
its range.
M N J
~ ~ o such that
(For then, o must extend uniquely
desire
In other words,
to a
t o f i n d a ~ : Jy(~)---< J y , we c o r m e n c e by
set
M = {x ~ JyI x is Jy-definable Claim 3.
= rud(Jy(~))
Jp ")
B e a r i n g i n mind o u r e v e n t u a l defining
is a unique
= ~.
from parameters
in ran(~)
~ {p}.}.
= ran(o). V
Firstly, Hence,
note that the monotone
as r a n ( ~ ) ~ l
enumeration
of E
<Jr' Ev >' m < ~ ÷ Ym' Pm ~ ran(~).
is -~ <Jv'Ev> and has type ~. -i In particular,
= Y0 e ran(~) ~ M. Clearly,
ran(U) ~ M ~ Jr"
For the converse,
Since x s M, we can find m < ~ such that, from z, p in J . Y
m = id~J
vm
x is ~l-definable so x ~ ran(~),
and cofinal
in v.
, we see that x is ~m-definable in Jv from Ym' ÷z, Pm"
proving
nJv
for some ~ ~ ran(O),
We can assume m is chosen large enough
let x s M
Thus,
be arbitrary.
x is ~m-definable
for z, x s Jvm' since
as ~ I :
J Ym ~ _~m J
from z, Pm in J
Ym
But Ym' ÷z, Pm e r a n ( ~ ) ~ l
.
So, as ¥m < v' J,
the claim.
~
w
Let ~: M ~ J--, and set ~ = ~-I. = y complete (i)
~"~
Let p = ~(p),
~ = ~(~).
of claims.
=~.
This holds by claim 3, since M (ii)
Thus ~: J---<J • Y Y
the proof of (4) by means of a series
G b-
and Y
Q J
is an g-initial
= v • M and sup(v riM) = sup(ran(tO)
section
of M.
= v.
This holds by (i), claim 3, and the fact that m < ~ + Ym s ran(O). (iii)
~ < y + v < y & 6(~)
= v.
We
-161-
Suppose ~ < y. o(~)
>. v.
But ~(~)
(iv)
is defined.
< ~, of course,
+ J have v = ( I ~ l ) Y. which means ~(~)
Thus ~(~)
But ~ ~ M - < J
Since ran(~)
so v < ]..
= M,
(ii) implies
that
Since 7 < 8 and ~ s S , we clearly
, so this implies
,~ e M.
So, by
(ii), ~(~) = v,
= ~.
~ is regular
at ~.
Suppose not,
and let ~ be a monotone
J--definable Y
map of a subset
of some
~
0 < ~ cofinally
into ~.
Let f be defined
in J
by the c5: J---~ Jy image of the Y
Y definition
of ~.
a J -definable Y Suppose
Set 0 = ~(~).
Thus ~ < ~, by
map of 0 < n cofinally
therefore,
that v = y.
(i).
If ~ < y, then by
into ~, contrary
Thus ~ j _ ( ~ )
to ~ being
(iii),
regular
( ~ ~ < 0) (f(~) >~ ~).
f is
at ¥.
Applying ~,
~j
(~)(~ ~ < 8 ) ( f ( ~ ) >, ~). Set f' = f N (v x 0). Thus, f' is J -definable, y whether or not ~0 < y. We show that f' maps a subset of 0 cofinally into ~, contrary to ¥ = y(,0). ~< ~ + d(~)
For
~ < ~, we clearly have f ( ~ ( ~ ) )
< ~, we see that
Let ~ < ~ be given. we can find = ~(~(~)) (v)
By
~< ~ + f'(~(~))
(ii), we can find
~ < ~ such that ~(~) > ~ . > ~(t)
Every x e J-- is J~-definable Y
Let x g J~.
Thus ~(x)
p for some z 0 = <60> c m , (i)
~j~f V z 3 y ~ y '
(ii)
~jy
i< ~ such that ~(2)
Then f' (~(~))
Z< ~,
and f' ( ~ ( ~ ) )
s J • i (i
is J -definable Y
from z0,
such that:
z, p) + ( ~ 6 1 ..... ~6m)(Z . .<61' . .
z such that ~j
Hence
from
[y' = y ++ ~(y', z, p)];
But O(x), p ¢ M - < Jy. z
Thus
I
y
~(o(x),
z, p).
Zl ~ M.
By choice
*---
i
=h
Next, note that as a is Zl-definable
is J -definable y
from
of Zl, Zl ~<J z0' so as ~
, we see that z
Hence x is J_-definable Y
I
--
Now, ~: M ~ J--, ~(~) = ~, = Y
--
i
Then z
-~
= <~i > for some 61 ~ ~. = z
' 6m>)];
~(y, z , p). 0
--
~(p) = p, so, setting ~(Zl) (y, Zl, p).
Since
in e O {p}; ~ is ~l-definable
Let ~ be a formula
-+
~j_
> ~.
is defined
e J , so by choice of p, ~ ( x )
~-+ y ~ Jy & ~j
Let z I be the <j-least
~
and has value 6(~(~)).
such.
¥
z0 ~ J , z
is defined
from parameters
some m.
~z ~y~#(y,
(iii) y = ~ ( x )
p.
< v, so as
> ~, as required.
in J~; and p is the <j-least
~(x),
= ~(~(~))
--in
= <6 > e ~ I
and y = x ++ y g J-- & Y
__
from 61, p, which are members from p in J.f, applying
of ~ O { ~ } -
~ immediately
gives
-162-
a ~l-definiti°n of ~ f r o m ~ Finally,
in J--.
suppose that ~'
<j ~ h a s t h e a f o r e m e n t i o n e d
derive a contradiction with the definition of p° particular, be able to define p f r o m p '
properties
also.
We
Now, by choice of ~', we must, in
and some ~ ~ ~,in J--. Hence, applying ~, we Y
see that p is J -definable from p' = 6(~') and 7 = 6(7) ~ ~. Y
But look, every x ~ J
Y
is J -definaBle from parameters in ~ ~ {p}, so we see that we can define every x s J from p a r a m e t e r s
in a 0 {p'}
in J
, by r e p l a c i n g
o f a ~ { p } , by t h e J - t e r m w h i c h d e f i n e s Y
p in a J -definition
p f r o m ~5, p , .
from p' in J~, applying O tells us that a is El - d e f i n a b l e
Again,
as ~ is
from p'
Y
o f x f r o m members ~i-definable
in J Y .
~' <j p, so p' <j p, whence all of this contradicts the choice of p.
But
Hence ~ is as
claimed in (v). (vi)
~ is not El-regular at ~ + I. For each m < ~, let ~m be the supremum of all ordinals in ~ which are
definable in JT from parameters in ~ u~{p}. = SUPm< Tm. (vii)
But by (v),
Since
~ s S I, and moreover, ~-~ = 7. We have O: J ~ Q
(~
By (iv), rm < ~' each m.
m+l-
J , and by (i), ~(~) = 6 ( 7 )
ONTO > ~)($ ~ ~ V ( ~f ~ J~)(f: ~ ÷ ¢)).
= ~.
Since v g S , ~j
Thus ] = j _ ( ~ ) ( ~
(V~)
~ > ~)($ ~ ~ V ( ~ f
g Jr)
ONTO (f: ~ ÷ $)).
Hence ~j_ "¢ < ~ ÷ ~ is countable". By an entirely similar argument, J~ But if ~j_ "~ is countable", then, ~ j _ ( ~ ~ 7 ) ( [ ~ [ = ]~I) . Since ~ ~ S , ~ = ~i v ONTO by our last result in J~, ~J7 ( ~ ) ( ~ ~ > ~)( ~ f ~ J~)(f: ~ ÷ ~), whence, crossing by ~ , we see that ~jv "all ordinals are countable " . Hence ~j_ "~ is uncountable". _ J_ ~ J_ Collecting all our J~ information together, we see that ~ = ~i v = [largest cardinalJ v. to J
This proves (vii).
(viii) B(~) = Y + i, n(~) = i. (ix)
~ ~ P.
(x)
p = p(~).
(By (iv), (vi))
(By (viii)). (By (v), since B(~) = ~ + 1 and 7 = a-~, by (viii), (vii), reap.).
Finally, since ~: J-- ~ J
it follows from (vii) - (x) that ~"E-- = E .
is an m-sequence, whence so is E, and so o " E = E . V
But E
Thus, by (i), E = E--. This
-163-
proves
the first part of (4).
of (4), uniqueness (5) Since E
following
Since y(~-) = ~, ~ already satisfies immediately
is an U-sequence,
from (v).
the requirements
This completes
(4).
--
11
it is clear that with ~, <~, I ~s in (5), <~ E ~ = Ev,
so
~ ¢ R.
Note that in this case,
lim(p) is assured.
Set p = p(v) = the <j-least p ~ J
such that: P
(i)
Every x s Jp is El-definable
(ii) ~ is ~I -definable This is possible because
in <Jp, A> from parameters
in ~ D { p } ;
in J P from p.
(for (i)) ' plp,A = 06n ~ a (lemma I) and
(for (ii)), a < v ~ p.
Let K = K(~) = the least < < p such that ~, p e JK+I" Set h = hp,A, and for T < p, set h We retain these conventions p
T
= h
T ,A qJ
throughout
T
(e.g. h will always be hp
for ,A
= p(~), A = A(~)). For K < T < p, set X
= h "(~ x (J T
T
x {p})).
T
By choice of p, we clearly have ~
X ~<~
<JT' A Q JT >"
By claim 2, X ~ v
~
L
1
= J . •
P
Lermna 5 For each Proof:
T,
X
T
~
J
is transitive.
Exactly as in lemma 3. Set
J~
= X T Q
J
.
Thus
<~ IK < T < p> is non-decreasing
and supK<~
=
~.
T Let rrr:
<X.r, A Q X.r > ="~ <JY ' AyT >.
S e t p~ = ~ r ( p ) .
T
Lemma 6 YT < v, and moreover, Proof:
Firstly, is f ~ J
<JyT ~ AyT>
E Jr.
notice that as <Jp, A> is amenable, p
such that f: ~ ~-+ X . T
B = { ~ s ~If(t)
e A}.
Hence X T s J p and there
Set E = {< ~, n > s ~21f(~)
Thus E, B E J . p
= p, this is, of course,
h T ~ J0 .
trivially
We claim that,
true.
Suppose
c f(q)},
in fact, E, B s J .
~ < p.
Then, placing
If
-164-
ourselves in Jp, we see that E, B ~ ~, ~ < v, and
v
is a regular cardinal, so
that E, B s Jr"
But if this is true J , then it really is true.
<~, E, B> ~ J .
But <e, E, B> is a well-founded,
its transitivisation must exist in J . ation is just <J
extensional structure, so
But by construction,
, ~, Ay >, so <Jy , A YT
Hence
> g J .
this transitivis-
QED.
Y~
T
Le~na 7 (i)
The sequence <<J
, A >I< < T < O> is [?Jp,A>({p}). YT YT (ii) The sequence
Proof: Directly from the proof of lemma 6. Set p< = y< = v< = ~ A Set E
= ~.
Clearly, v T
7 T for all T, so sup<~r
= {
Len~na 8 E
is a []J0'A>({p}) predicate on J~.
Hence the monotone enumeration of E 0~ is
~]Jp,A> ({p }). Proof: Clearly, <~TI< .< T < p> is ~]Jp,A>({p}).
The lemma follows at once by lemma
7.1 Lemma 9 <J , E > is amenable. Proof: Let ~ < ~ be given.
Pick T < p, T > <, with ~
~ 6.
It is easily seen that if
we define ~ from <JYT' AYT>' PT' ~T in the same way that E <Jp, A>, p, ~, then ~I,,~ is an initial segment of E . z-l"E = E.
But ~ I ~
Also, ~ is cofinal in J~ , so in fact E = E
T
T
6, <JYT' AYe >' p~' v ¢ a
Jr' so E e Jr"
E
QED.
~ J~ = ~ ~ J~
¢
J~.
Let x s J~, y s J .
Hence, as 6 < vT,
The following are equivalent:
(a) x is Zl-definable from y, p in <Jp, A>; (b) x is Zl-definable from y in <Jr' E~ >"
~ J~ . ~
Lemma I0
was defined from
T
= id~,
so
But, by lemma
-165-+
Proof:
(a) ÷ (b).
Let x be as in (a).
Pick i e m so that x = hp,A(i,
Clearly, z = x ~-+ (~yr, Ay , p~, ~T)[z e J~r & z = hy~,Ay~(i, <~, p >)J. Thus x is as in (b). (
-> (a).
Let x be as in (b).
Pick i ~ m so that x = h
Y~ is cofinal in ~, z = x ~-+ ( ~ ) ~
< T < p & z = hyr,E~jy
lemma 7,
,E~
J~ < r < p> is ~<Jp,A>({p}). I
(i,
Since
(i, <~>)].
By
And by lemmas 7 and 8,
Hence x is as in (a).
QED.
Lemma ii The sequences <E J~ e R>,
~ J .
(I) <J , E~> is amenable. (2) Every x ~ J (3) <ETJ7 E S
is ~ I-definable in <J , E > from parameters in ~. n v ~ R> is uniformly ~]JP 'A>
(4) Suppose ~ ~ ~, E ~ J~, and ~: <J~, E > ~ Q ~(~) ~:
= ~ .
Furthermore,
<J,
m>.
Then ~ g R, E = E~, and
there is a unique ~ m o s u c h
that
<JP(~)' A ( - ~ ) > ~ I <JP(~)' A(~)> and ~(p(~)) = p(~).
(Note that by (2), ~ (and
hence ~) is uniquely determined by ~ . ) (5) Suppose ~ is a limit point of S~_ andS: then % ~ S ~ Proof:
<J~, E ~ > ~ Q
<J , E~>.
If X = supa"~,
and E k = E~ ~ J%.
(0) E 0 = {yTJK ~ r < p}, which we know to be unbounded in v.
(1) This is just lermna 9. (2) By lemma iO and the choice of p. (3) This is clear from the definitions.
~ s~
(Note that by definition of S ,
n~ ÷ p(~) < p(~).)
(4) Let ~, E, ~ be as in (4), and prepare for a long and tedious journey. We proceed in a manner analogous to that in lemma 4. Set M = {x e J Jx is ~ -definable P I
in <J , A> from parameters in P
(ran(~) ~ J ) O {p}}. Claim 4.
M ~J
= ran(W).
(cf. Claim 3 in lenma 4.)
-166-
Let x s M q J .
Since x s M, there are y s ran(~) A J
definable in <Jp, A> from y, p. definable in <J , E > from y.
such that x is
But x ~ J~ and y ~ J , so by lemma i0, x is But y ~ r a n ( ~ ) ~ l l
Conversely, suppose x g ran(~).
<J , E >.
l-
Hence x ~ ran(~).
Then, as ran(O) ~ J , (2) above tells us that
there are ~ ~ ~ such that x is ~ l-definable from ~ in <J , E >.
Let Y0 = <~> s J .
Let ~ be a ~0-formula such that: (i)
~<J~,E~> ~ y ~ t ~ z ~ z '
(ii) z = x +÷ z s J Set K = {YIY ~ J
& ~<~
[~(t, y, z') ~+ z = z']
& ~<Jv,E~> ~t~(t, Y0' z)
~ >~t~(t, y, x)}.
K is a ~]J~'Ev>({x}) relation on J . x s ran~)-
Since ~ = y~ = the least element of E$,
Since Y0 s K, K ~ ~.
<J , E >, K q ran(o) # ~.
So, as
Let Yl s K ~ ran(~).
Then Yl ~ ran(~) O J~
and, clearly, x is ll-definable in <J , E > from Yl by the formula ~. I0, x is ~l-definable in <Jp, A > from YI' p" M~
<JP' A>.
So, by lemma
But look, Y I' p g (ran((Y) A J ) o {p}
Hence x ~ M n J , and the claim is proven.
1 Let ~: <M, A q M> ~ <J~, A>, and set 6 = ~-I . Let ~ = ~(p), ~ = ~(~).
Thuse:
<J~, A>-fZI <Jp,
(Recall that ~ is ~I -definable from p in J P .)
A>o
As in lemma
4, we must establish a whole series of claims. (i)
&~J~ = ~. By claim 4, since M A J ~
(ii)
~ <
p "+ ~
<
p
Suppose ~ < 0.
is an E-initial segment of M.
__
& £Y(~#) = ~. Then ~(~) is defined, and hence less than p of course.
and claim 4, ~ ~< ~(~) < p, so ~ < p. Suppose not.
Thus v < ~.
Set ~ = ~(~).
We must show that ~ = ~.
Since ~ is the largest cardinal in J , and ~JB ''~ is
regular" and v < p .< ~, we see that ~j = (~+)J~. <Jp, A> and ~ = ~(~) ~ M.
By (i)
Hence ~ s M.
But ~ = ~
~ ran(cs) = M A J.~ c_ M-<~I
Thus, by (i) and claim 4, ~(~) = ~.
But
~(~) =-~ and ~ < ~, so we have a contradiction. (iii)
-~
~
S1
, and moreover, c¢- = ~.
We have~Y: J---~Q J , and by (i), (Y(~) = ~(~) = ~ . ~j ( ~ ) ( - ] ~
> ~)(~ >. e V ( ~ f
~ J~)(f: m
ON+TO
Since ,~ ~ S
~)). Thus, ~ j _ ( ~ ) ( ~
> ~)(~ >. ~ v
-167-
( ~f ~ J~)(f: e
ONTO ÷ ~)). Hence ~j_ "g < e + ~ is countable".
argument, ~ j v ( ~
>. 7)(I$ I = 171).
By an entirely similar
Suppose i=jq "7 is countable".
Then, by our last
ONTO result, ~ j _ ( ~ ) ( ~ > ~ ) ( ~ f e J~)(f: w ÷ ~), whence, crossing to Jv b y e , we v j see that ~j "all ordinals are countable", contrary to ~ = ~i v. Hence ~j_ "~ is uncountable", J cardinal] -~.
which implies, by our earlier remarks, that ~ = ~ This proves
Now, ~: <J--, ~>-< P ! = A~ (iv)
[largest
(iii).
<JP,
A>, so by lerm~a 7.20, there is -~ such that ~ = p~-i
, and a unique ~ -~y such that
" J~n
J8"
~ is In_l-regular at ~. Suppose not.
~.
=
Let f be a ~n_l(J~) map of a subset of some p < v cofinally into
By (iii), we may assume p = ~ here.
Then, using (iii) again, we can construct,
from f, a ~n_l(J~) map ¥ such that f"~ = v. which codes a well-order of ~ of type v.
Hence we can find a ~n_l(J~) set A ~
We show that A ~ J~.
If v = 8, then thereis nothing to worry about, of course. way of contradiction, ?'.
Hence v < 0.
v < 8.
So assume v < 8.
By
suppose A ~ J~.
[Why?
Then ~j_ "there is a map of a subset of ~ onto 6 Well, if O = B, then this holds because we are assuming
And, if O < B, then since ~ = 0~-i, ~j~ ,,~ is a regular cardinal", so by our
result which we claim to imply ~ < 0, we see that ~j~ "v < p", whence v < 0, as we said.]
So, by (ii), v < p and ~(~) = v.
is a map of a subset of ~ onto ~". is absurd.
Hence A ~ J~.
But ~"" J ~ ' ~ n
But ~J8 "v is regular", since ~ = B(v), so this
O.K., then, A g ~)(~) f~
least one definition, means that ~
J8 and ~(~) = ~, so ~J8 "there
n-I
In_l(J~)and
A ~ J~, which, by at
-n-i ~< ~. But 0~ = P >~ "~ > ~, so at last we have
our desired contradiction to prove (iv). (v)
v is not In-regular at ~.
By definition of M, every x ~ J-- is [ -definable in <J--, ~> from parameters in O 1 0 --~ ~{p}. Thus J--p = h~pZ'(~, × (~ x {p})). Hence there is a El(<Jp, A>) map of a subset of _~ cofinally into _v.
Since p = p~-l, ~ = El,
(vi)
7 = 8(~), n = n(7).
(By (iv), (v)).
(vii)
-v ~ R.
this map_ is in fact ~n(JT).
(By (vi), since, as $: J~-<~l JB' we have lim(~).)
-168-
(vii)
7 = P(V), A = A(~).
(ix)
~ = p(~).
n-I .) (By (vi), since 7 = ~ n-I , A = A ~
Now, by definition of M, every x s J--pis El-definable in <J~, ~> from parameters in ~ u {p}.
JP and ~(~) = ~, d(~)
And as 6: J ~ l
f r o m p in J~p, since the same is true for ~, p, p. suffices to show that ~ is the least such.
=
p, we see that ~ is 11 -definable
So, by virtue of (vi) - (viii), it
Well, suppose p' <j p is another one.
particular, then, p = h~p,~(i, <~, p'>) for some i s ~, ~ ~ ~. ~
~
setting p' =~(p'), ~(~) e ~.
Applying 6, and
~
~
we see that p = hp,A(i, <~(6), p'>).
In
_
Since ~(~) = e, we have
Hence, every x ~ J
is E -definable in <Jp, A> from parameters in ~ d {p'}, P 1 since we can replace p by hp,A(i, <~(~), p'>) in any such definition of x from
parameters in ~ o{p}.
Also, as ~ is El-definable fromp'
he ~l-definable from p' in Jp. contradicts the choice of p. (x)
6(K(~)) = ~(~).
But as ~' <j p, we have p' <j p, so all of this Hence p is <j-least, which is what we required.
(By (iii), (ix), and the fact that ~(~) = ~, ~(~) = p.)
We can now speedily dispose of (4) of the lemma. since
,
in J~, we see that ~ will
First, note that ~ is unique
-- A> from parameters as we observed above, every x ~ J~ is El -definable in <Jp,
in ~ ~ {~}.
Secondly, note that by (iii) & (vii) - (x) above, ~"E-- is an initial
segment of E .
But look, ~"m--v = ~ " E ~
= E~ q ran(O) =~"~.
Hence E--v = E, and (4) is
completed. (5)
Let v be a limit point of Sc~_, and suppose~: = sup~"~.
<J~, E ~ > ~ Q
<J , E >.
Note that as Sc~ is clearly E~J~-'E~>({~}), and as S ~
Set is
E~J~'E~>({~ }) by the same definition (and, by (4), (7(~) = a ), X is a limit point
of
Sc~ , s o i n ,¢
fact,
X ~ Sa . -,)
Set ~ = p(~), A = A(~), p = p(~). ~: <J--, ~>-< P GG)
show that
Set
n = sup~"~,~=A
be the unique map
Note that if e = m--, ~ =
P
so ~ ~ r a n ( & ) .
E3, = E ) cl J x "
By (4) above, let ~ e ~
<J , A> such that ~(p) = p. ~1
= ~,
We m u s t
~J
n
.
x~ Note that
fact 6"J--~ J .
then a,
p,
~ c J
T]
,
and i n
By E -absoluteness, 6: <JT' 7>-<~ <Jn' i>, so as this embedding is 0 ~0 • ~ coflnal,cY: <JT' ~>-~Z 1 <Jn' A> ' cofinally. p
n
Set X = Xn (= hn(e x (J~ x {p})) = hn,E(m × (Ja × {P}))')
-169-
Claim 5.
ran(~) ~ X. -~ Jp , so if x ~ ran(~),
Now, ran(~) parameters
in ~ u {p}.
Hence ran(~) n h"(~ x ( j
since h f~ (Jn) 3 = h n and ~, p c Jn' Claim 6.
v
then x is El -definable
ran(~)
x {p})).
~-h n "(~ x ( J
in <J p, A> from
But ran(~)
x {p})).
c J . n
Hence,
QED in claim 5.
= %.
n
By claim 5, (*) E e ran(~) there is ~ e ran(~)
f~
~ ~ ÷ ~ c X q ~ = ~ . n
such that
t< E•
Let
By (*), ~ e ~n .
~e i. Hence
By choice of ~, Lg v •
Thus
n Now suppose Now, ~ = sup @ " 7
$ s ~n"
(and lim(~)),
E = hT(i,
~"~
=(Y"~ -~%. Thus
Then E ~ X, so for some i e ~, z ~ J , E = hn(i,
Thus
so we can find • < p such that,
~ e X r ~ v = ~.
Hence
~ ~ %, proving
By lemma 8, $ ( ~ ) v
setting • = ~(~),
= u~.
So, as ~-r < 7,
.< %.
claim 6 is proven.
Set y = Yn' A Note that,
¥
= A
y~
, ~ = ~ . n
Thus,
~: <X, A q X> ~ <J , A > and ~(p) = pn. = Y
as <J~' A>', T-I: <Jy, Ay>-<10
by claim 6, ~-l~l
<JP' A>.
Also, note that
= ida%.
By le~na 7.20,
there is ~ such that y = p~-l, Ay = A ~ -I, and a unique
~
_= ~-i such that ~: J~-<~n JB" Claim 7.
~ = B(1); n = n(1);
Leaving result
¥
the proof of claim 7 for a moment,
(5) follows
~"E l is an initial
from all of this• segment
E o ~ J%, and we are done. resemble
% s R; y = p(%); A
somewhat
of E .
the verification
of
p~ = p(1);
let us observe
= ~-IIJl = idIJ%.
~[J
(4) above.
= ~-l~jy; ~-l~jx_ = id~J%; ~-l"j Y
These
We establish
(ii)
= X; X q v = X. Y
just collect
together
various
% < 7 ÷ ~ < n .< P & ~(1) = v.
= ~.
how the required
Hence,
E l = $"E% =
now with the proof of claim 7, which will
before.
(i)
~(<(%))
Well, by claim 7, it is easy to see that
But ~ J l
We commence
= A(%);
remarks
made
above.
a chain of results,
as
-170-
Suppose % < y.
Then by (i), ~(%) >~ o, so as ~(%) = v-l(1) < n, ~ < n ,< P.
since v < p, v = h(i,
Thus u(v) is defined.
(by definition of p).
Now,
Since v, y, p e jn,
By (i), ~(v) = l, i.e. ~(1) = v.
~ is In_l-regular at -~. This is proved in exactly the same way that we proved (iv) in the verification
of (4). (iv)
~ is not In-regular at ~. By claim 5 and the definition of ~, X = sup(X ~ %) = supEhq,~(~ × ( J × {p}))~%].
Applying ~, ~ = supEh
A (~ x ( J x {p })) n ~]. Hence there is a [l(<J¥, Ay>) map Y' T n-i of ~ cofinally into X. But y = p~ , Ay = An-I so this map is [n(J~). (v)
~ = B(X), n = n(%).
(vi)
% e R
(vii)
y = p(l), A
(By (iii),
(iv).)
(By (v), since, as ~: J---
(By (v).)
Y (viii) p
n
= p(%).
By definition, X = h ,~(m x (J~ x {p})). Thus every x e Jy is If-definable
Applying n, Jy = hy,Ay(~ x ( J
in <Jy, Ay> from parameters
in e O {P~}.
× {pn})).
The rest
of the argument is now as in the proof of (ix) in the verification of (4). ~
(ix)
~(<(X)) = <.
(By (viii), since ~(e) = ~.)
That completes the proof of claim 7, and hence completes the proof of lem~a ii.I Finally, it is easy to see that lemmas 4 and II together imply ~ .
(Really, it
just requires the observation that the sets P and R are so simply defined, that clause (3) of the two len~nas combines to give one definability statement.)
Chapter 14
THE GAP-2 TWO CARDINALS THEOREM.
We shall assume V = L throughout this chapter. ~K ~I[<~ ++, ~> +
(JENSEN)
Our aim is to prove that
The basic strategy is as follows.
We shall be given a
++
<<
,
K>-model ~L.
We shall then construct, by induction, a <%++, %>-model
~ ~0"L .
The construction will differ from the gap-I construction only in that, instead of constructing an elementary X+-chain of models, we shall construct a directed elementary system of models following a k+ -morass.
(We shall call such a system a complex.)
We commence by describing the construction of a model complex. From now on, ~ Let ~
denotes an arbitrary l+-morass, fixed once and for all.
he as before, and suppose ~
T be a theory in ~
contains a binary predicate symbol -=.
such that T ~ "-=~ linearly orders the universe".
Let
For any set X
and any point a, X-= a denotes the set of sentences {x~= alx s X}. An ]~-complex for T is a structure ~ that
writing MT for ~vs
(CI) (T s S I ÷ M r ~ T) (C2) • ~ S 1 ÷ e
e M T
&
The maps O~--TT:
M
<(MT)TeSI , (eT)TESI , (~TT)T_~T> such
and M* for ~
(T s S I - S%+ + ]M I = %).
& M T
~ M*< T
(C3) u ~ s l n T ÷ M u - < M ~ (C4)
SaT
=
T
(& M
e . T
+ M , by (C2)).
~ MT, T--~ T, form a commutative system.
(C7) ~'u < om-->£Y-r TT [~ V = id[M ~, any ~ --2 T. (C8) T a limit in-~ ÷ M
= UT
T ~T
cy- "M--. TT
T
We show how, in certain circumstances, one may construct an ~-complex.
At
various points in the construction, which we shall denote by the symbol (~), we must assume the existence of a certain model.
In any specific case, it must therefore be
verified that at each such point, this assumption is justified.
In particular, we
shall eventually show this is the case for a certain situation we will develop in order to prove the promised two-cardinal theorem.
For convenience, we assume ~
is a
-172-
skolem language
and T is a skolem theory.
To commence
the construction,
with an arbitrary
model M
of T of cardinality
0
choice of M 0 may be somewhat Case I.
~ minimal
If • =
by induction
on • c S I, we start
%, though in specific
set
M
there
is
Otherwise,
M >M*
such
that
proceed for
as follows.
s o m e x c M, M ~ M * . . ~ x .
= the
skolem
hull
o f Me ~ { x }
Case 2.
-
(C3)
~ a limit point
Consider
direct
limit.
still
the directed Define
By commutativity
sufficiently Then x c ~ by
hold,
whilst
system <(M )
a map j :
= id~M*.
Otherwise,
Similarly
Case 3.
then M
=~--
T'r
back"
~ x-~ ~ .
~ immediately
that
T = ~--
for
T ..~%
"M--.~
>.
-
have
(cs)
arisen.
all
(O'v),~ ~
Let <M,
r --~'r,
> be a
~) ~ S 1 (3 r ,
as follows.
~-- "(Sc~ - ~ 7 ) . TT
Let x c M *T.
So as ~-- ~-- = id~--,
%_
TT
Then by
(e~)
T
= M.
T
T
Pick -T
[If ~v-~ ~'T' just pick T with ~--T > ~ "
v c SaT n
T, so ~ is not maximal
(C8), which holds
for any ÷x c M*T' whence
T
T
(c4)
j: M*T "<M°
For T -~ T, setC~--
in S
at ~ by hypothesis,
high in --~ to achieve x so'~"M--.v ]
Then M * - ~ M, so set M
By a "pulling x s M*,
in-~.
(and ~) sufficiently
by e
of
Hence v = ~ T (~) for some -T --~, -~ E S I ~ 7 .
and x = O ~ ( x ) .
T
no new cases
such a j can be defined
high in -~ to obtain x c ~
define e T c M
= x.
, (¢Y~)~_~_~
M* ~ M such ~C
considerations,
~T~" (S~n 7).
O--T o tY--~v-l(x).
J
~
commutes
(M4), ~ is a limit point
can pick v
set
•
For some ~ < T, x ~ M . By (M5), SaT n r = UT_~r
such
in--~.
= ~-D U (~), the following
S~
in M and
T
(el)
For
T
T
Clearly,
the
in~.
T
M, x ,
instances
less cavalier.
Q S I, set M~ = M 0.
(~) Assume
which proceeds
, so we
Set j (x) =
Choose M so that
TT
=CY--. T
By eom~nutativity,
for any "r-~ ~.
argument
of the kind just used to define j, we see that if
It is now easy to check
succeeds ~ i n - ~ .
(CI) - (C8).
There are three
suheases.
-173-
Case 3.1.
r minimal in S~ .
Then ~ is minimal in S~_, and M* = ~ . T
T
T
(~) Assume there is M >-M* and ~: M*~-< M such that M ~ M * < ~Y(e 7) and ~e
rM*
M* M* = i d ~ P r ~ ( @ 7 ) , where Pr (x) = {z ~ M* IN* ~ z ~ x }
(~)
Set ~T = ~ ( e ~ ) ' ~-- = ~.
for any x ~ M*.
be the skolem hull of Me~ ~ {e~} in M, and put
and let M
(~I) - (C8) are easily checked.
TT
Case 3.2.
T immediately succeeds ~ in Se .
Then • immediately succeeds ~ = ~ - i
(n) in So_, and Me = M , M-% = M--. T ~ T T
(~) Assume there is M ~ M * (= M ) ands: M * ~ M such that M ~ M * ~ T D T T M* ~Pr~(t)
M*
= idtPr~(t), where t = ~ T n ( e T )
Set ~
= o(t), and let M T
~-- = ~ - -
TT
~(t) and
(so t ~ Mn = M*).
be the skolem hull of M* ~ {e } in M, and put T
T
T
.
~
(CI) - (C5) are easily checked, whilst no new case of (C8) arises.
We check
(C6), which then implies (C7) by induction. To verify (C6), by induction we need only consider ~ E Sc~_ ~ ~.
And again by
T
induction, M~T I= M ~ Thus ~ ( ~
e~.
Hence as ~ n ~ M T ) : ~-T--<M , we see that M
"M~) = id~(~n"M~n), which yields ~ T ~M--n= ~ ° U ~ n ~
~U~"M--~t.
= ~ n I M ~ n ' as
required. For future use, we note that for any y e Me (*) M n ~ ~ [ ~ , ~ ( ~ ) ]
and x s
, any 2-formula ~,
iff M T ~ [ ~ , ~ ( ~ ) 3 .
(Apply ~ to the LHS and note that, as e-- - ~ n M ~ , which holds by (C2) and induction n M* M* hypothesis, an application ofonn-- yields en ~ ~ t, so M*n -c Pr~(t).) Case 3.3.
T a limit point in S ST
Then T is a limit point in Sc~ T. Case 3.3.1.
There are two subcases.
% = sup <~iT(~) < T.
(~) Assume there is M ~ M * and ~: M*-< M such that M ~ M * ~ ~(e%) and M* M* T T ~IPr T(e~) = id~Pr=T (fX).
-174-
Set T
~o m ~
= o~%),
let M r be the skolem hull of M*T O{e~} in M, and put~--rr =
•
The proof that (el) - (C8) hold is similar to, hut easier than, in Case 3.2. Note that for any y e
k
(*) M%
~,
, x ~
~=~[~,
~YTI(x)] iff M r
Case 3.3.2.
sup.<~ ~ ( . )
%
,
a fo=ula ,
= ~.
F o r each . e Sa_ Q T, let q(.) = the least q (in-~)
such that .-~ O-q~TT(.).
T
(Note that
a s ~rT.r ( . )
i s n o t m a x i m a l i n Sa
, there
is
no p o s s i b i l i t y
that
q = "rrT.r ( . )
T
Clearly,
here.)
(.)
I" ~ Sa_ ~ ~> is non-decreasing.
By (M4)
it is in fact
T
strictly increasing. s S
Set ~ = sup.aso~_~ ~ an(.).
(~T ~, there is a .' e S
C~-T
By (M3), a aS and in fact, whenever
such ~hat ~--~ v'-9 ~-- (.).
C%
So by (M7) and the fact
TT
that T irm~ediately succeeds ~- in -~ , we see that ~ = ~ . T
We shall define M
T
as a
diagonal limit of the models M I(v), ~ c Sa_ ~ ~-. T
For., n(.,
y)
y s S_
c3 T w i t h
= ey,n(T)(.)
q s S
= the
. ~< y ,
set i
unique
I I
such that , =9 n -e -- (~).
//
q(~,Y)
Then:
/
.-~n(.)-~n(.,
(i)
Y)-~
i
~(.)
i
c M*n(", y) (ii) ~Yq(.),q(.. y) "M* q(.) -Since ~T--T is cofinal on T in T and the ~ (.)'s are cofinal in ~T' it is easily
%,
seen that
T
(iii) M*T = O"sSa_ a 7<~n("), ~ T ( " ) "M*n(")" T
Claim.
If.,
y s S N -T, . .< y, -> y E M* x E ~T then ~n (.)' ÷ ' T
Mq(.) ~ * ~ ,
~
÷ ,q(.)(~)] iff Mq(y) ~ %[~I("),q(" • ~) (Y)' ~ , n
÷)] (~) (x
Assuming this for the time being, we define MT, etc. as follows. Let X, h be arbitrary with X c3M* = ~ and h: (~T - M~T*) +-+ X. X DM*. T
Define
a set - -
mappingS:
M-- ÷ M by T
Let M be the set
-175-
h(x), if x ~ M~m ] ~CY~(x), where ~ ~ S~_ t ~
O'(x)
& x s M--~& ~ = ~--m~(~)' otherwise.
By (C6) and induction, this clearly defines a mapping.
We ma~e M into a structure and
o into an elementary embedding by demanding that for all ~-formulas ~, and all --> ~ ~ S ~r, ye ~-T
(iv)
M ~ $~(.)
M*
n (~)'
÷x ~
~-"'~'
_ (v)(y), ~Y(X)] iff Mn(~) ~ *[~, ~ ,~(~)(~)]. ~TT
By (iii), the y's take care of the whole of M*, and the x's take care of X. Hence all of M is covered by this definition. between different choices of v. that o~: M--<M,
By the claim, there is no conflict
Hence this does define a unique structure on M such
By an argument as in Case 2, there is j: M*-<M. T
that j = id~M*, so M*m ~ M "
Set M
= M,o~Tr = ~ ,
and @m =eft- (@~).
limit point of S~ , a simple "pulling back" argument shows that M verification of (CI) - (C8) is now straightforward,
Pick X now so Since r is a ~ M*-~ e • The
(C6) holding by definition, of
course. remains the proof of the claim, which is by induction on y e S _ ~ ~. If r = ~ S _ , the result is trivially true. Suppose ~ immediately succeeds ~ in Se_. There
T
T
Then, by induction, it suffices to prove the claim for this one pair ~, ~.
Now,
->
fy~,n(~)(~), y s M n(~)" O ~ q(~),n(v,T) : MO(~) -< Mn(~,Y)' and cY n('o),o(~,Y)°cr~,~(~)= C7 ,q(~,y), so for any $, we will clearly have Mn(~) ~ ~[~, ~
,n(~)~)] iff Mn(v,y) ~ $[~D(~),n(~,y)(~), CY ,n (~ ,y) (x)] .
Now, n(Y) immediately succeeds y in-~and n(y) immediately succeeds n(~, Y) in S . Hence Case 3.2 applies to n(y)% (~)
Note that, as ~ ~ M* (ii) above gives ~ (,~)'
So by (*) of 3.2, we obtain
M (~,y) ~ +[%(~),~(~,y)(~),
EY ,~(~,~)&)] iff Mq(y) ~ #[c~ (v),~(~,y)(y),~y,~(y)(x)].
v>
The claim follows from these two equivalences. in S~ . Let X = sup
~ (v). ~
3.3.1. applies to q(y).
Finally, suppose ~ is a limit point
Either X = ~(y) or else X < ~(~) and so Case
So, either by identity or else by (*) of 3.3.1., respectively, ~
-~
we see that for all y s MX, x ~ (v)
<
,
M (y) ~ $ ~ , cY¥,~(~f)(x)] iff M 1 ~ Sly, C¢ ,l(x)~.
Let ~ = supv< eq(~).
-+
Let ~ be the unique ~ ~ S
such that Y-4 ~
X.
Then
-176-
immediately succeeds y in -~; for if there were ~ such that y ~ ~ ~ , e S
~ y we would have ~
~ ~,
then for
contrary to the choice of ~ and n ~ S .
So~
T
the definition of %, we see that Case 3.3.2. itself applies to q, whence~
recalling
by induction, for y s M ~q(~), ~ s Scr_ ~ Y' ~x g My , we have (by (iv)) T
Mq(~) ~ ~[y, ~
,q(~)(x)] iff M~n ~ ~ [ ~
Applying ~Y~%: M ~
(~),
y,~(v)
to the RHS we obtain, by commutativity,
LHS iff M% ~ +[~q(~),~ . (v)(y),
O'y,q(y)(1)]
which is precisely what we wanted. This completes our "construction" of the ~ - c o m p l e x ~ . ++
We prove that, if V = L, then from now on.
~
~%[<<++, ~> + <%
, l>].
So, assume V = L
We consider the case ~ = ~ first.
Let 0-[ be a given <<++, <> ~-structure. Let H ++ be the set of all sets + hereditarily of cardinality ~ < . We may assume ~ has domain H<++ and U = <. ++
Let -~ be a well-order of H<++ of type < assume that
0~ =
If X is a set, I X
such that x ~ y + x - ~ y .
We may
e,...>.
denotes the language ~ with the elements of X added as
constants. • -+
Let
y, x) he a set of formulas. (~
-> ~ ~y~(y, ~) for {
Assume ~
~ ~#(y, ~)I(~ = ~I ~
9 ->
...
We write
->
-~
~-
->
-+
~y~(y, x) for { rye(y, x ) I ~ }
^ ~ n )& ~I ....
,
~n ~ ~}"
is recursively arithmetised in ~ from now on.
Similarly
A set I(Y) of
~i~i-
-+
formulas is M-arlthmetic, any set M, iff there are u e M and an arithmetic set (y, I) of ~-formulas such that ~(y)
1'(u, ~).
An ~-structure M is arithmetically U-saturated iff whenever ~(x) is an M-arithmetic set of£M-formulas with M ~ ( ~x E U)~(x), there is u e U M such that MI = ~(u).
The following is easily established.
and
-177-
Lemma i (i)
Let ~I0 be any ~-structure. 1
(ii)
There is a countable arith. U-sat, structure
0
Let B < ml'
and l e t
< ~ l a I ~ < B> be an e l e m e n t a r y t o w e r o f c o u n t a b l e ,
U-sat. ~-models with the same U.
arith.
Then ~ = 0a
Define a quantifier Q ("there exist -~-cofinally many") by
Qx~ (x) ++ (Vz) ( ~I > z)~ (~). ++
Since ~ has type <<
, K>, we clearly have
(.) ~ ~ (q:) ( ~x ~ u)~ (~, :) ++ ( ~ Define Qx~(x) ÷ ~ as For any
~ u) (~)¢ (~, :).
~X~ (x) was defined,
~[-structure
M, Th(M) denotes the complete ~M-theory of <M, (m)mgM>.
L ermna 2 Let M be any ~-structure, ~(~) any set of ~M-formulas. iff Con(Th(M) + M ~ x
Then M ~ Q~(~)
+ ~(x)),
Proof: (+) M ~ Qx$(x) ÷ ( ~ m E M ) ( ~ z ~ M)[M ~ $(~) ~ m -~] ÷ M-~ ~ + {$ (~)} is finitely satisfiable in PI ÷ Con(rh(M) + M - ~
+ {~ ~)}).
(÷) M ~ ~ Q ~ ( ~ ) * ( ~m c M)[M ~ (~x)(~(~) ÷ - ~ +-~Con(Th(M) + { m ~ x }
~m)]
+ {$(~)}).
I
Lena 3 Let M - ~ be countable and~rith. U-sat. formulas. =
Let ~(x) be an M-arith set of £ M -
Then M ~ Qx Z÷ (x)+ iff there is a countable arith. U-sat. M' ~ M such that and, for some c e
,
~ M ~ C + ~(c).
Proof: (÷) By lemma 2 . (2) L e t c be new c o n s t a n t s .
S e t M = M U {c}.
T h e n , by l e n a
T O = Th(M) + M - ~ C + ~(c) is a consistent ~_-theory.
2,
It clearly suffices to
find a model M' of T O such that whenever H(x) is an~-arith, set of ~ - f o r m u l a s with M' ~ ( 3 x ~ U)H(x), there is u e UM such that M' ~ H(u).
-178-
Let
of (such) ~ - f o r m u l a s .
We
I
define, by induction on i ~ ~, certain consistent extensions T. ~ T such that z 0 i < j < m ÷ T. c_ T.. l ]
To make the construction work, we shall ensure that
÷
T i = Th(M) + M -~c + X i, where X i is M-arith, X 0 is M-arith and r 0 = Th(M) + M ~ X i are defined. Otherwise,
for each i.
+ ~(~) = Th(M) + M - ~
If -~Con(T i + ( ~x s U)Hi(x)),
+ X 0.
->
Let Xi (x), Hi (x, ~) be
--
-~
÷
So by (*),
÷
(~x ~ U)(Qx)[ Xi(x ) +Hi(x' x)].
MF
Then
c U)Hi(x, -> x))), so by lemma 2, M ~ Qx - > I X i(x) ->
+ ( Bx e U)Hi(x , x ) ] , i . e . M ~ (Qx)( ~x e U)[-X i(x) + + H i(x, x)]o ÷
Suppose Ti,
such that X i = Xi(c), Hi(x) = Hi(x' %).
Con(Th(M) + M -~x-> + (Xi(x) -÷ + (~x
Thus
set Ti+ I = T i, Xi+ I = X i.
Con(Th(M) + M ~ ÷c + X i + ( ~x E U) Hi(x)).
M-arith. sets of ~M-formulas
Set X 0 = ~(~).
By arith. U-sat. there is thus a u s UM
such that M ~ Qx Ix - i (x) ÷ + ~i (u, ÷x)].
So, by lemma 2, Con(Th(M) + M~= ÷x + Xi(~)
+ Hi (u, ÷x)), i.e. Con(Th(M) + M~= ÷c + X i + Hi(u)).
Set Ti+l = T.I + H.(u),l
Xi+ 1 = X i + H i(u). Let T = ~.
T..
i<~
Let M' by any countable model of T.
Clearly, M' is as required.I
l
Define another "cofinally many" quantifier by Q , x , ( ~ ) ++ '~[Iz ++
Since 6~ has type <~
I .< < +
~x(~_= ~ ~ I~1 .<
< ^ ,(x)~].
, K>, we c l e a r l y have
(**) O~ F (Q'x)( ~x e u)#(x, u) ~+ ( ~ x E U)(Q*x)@(x, u). Exactly as before, we may prove: nellmRa
4
Let M ~ fi~-be countable and arith. U-sat. M
-formulas.
Let %(x) be an M-arith. set of
The following are equivalent:-
(i)
~ F Q*x~(x)
(ii)
Con(Th(M) + ~ M ( X )
+ ~(x)) !
(iii) There is a countable arith. U-sat. M' ~ M such that U M
e E M',
M
~I~M(C)
where~M(X)
+
[(c),
= {IxI ~< <} o {z _cxlz e M A M
the Q-set M-~ x. I
= UM and, for some
F Iz[ ~< K}, the
Q*-set corresponding
to
-179-
For an~ ~-formula ~(~), let ~(x) be the ~-formula
Let ES(x) = {$(x)J~(~) is an G-formula}, an arith, set of ~-formulas. If M -= 6~e and t g M, then clearly, M ~ ES(t) iff prM(t) -< M.
(Hence "ES" stands
for "elementary submodel".) L ennna 5 Let M -= 0-L, M ~ ES(t), a ~ prM(t). M ~ (~w Proof:
-~t)(Q~)(~
For any ~M-formula 9, "2
÷
÷
g U)[~(a, w, u) ~-+ ~(a, v, ~)].
e~(U ~) e [HK++] ~+, so ~)~(Un) c H ++, and in fact Furthermore, M ~
~
~ ( U n) is an ~-definable point in 0~.
~z(e(U ~) ~ z).
So as Pal(t) ~ M, prM~(t) ~
~z(e(U ~) ~ z). Now, M z ~ ,
~ z ( ~ U ~) ~ z).
M ~ ( ~z ~ t)(~(U n) ~= z), whence ~)M(u~) e Pal(t).
so Hence
By choice of ~ ,
therefore, ~)M(u~) = prM(t). +
+
Let w -~t. b ~ prM(t).
+
Set b = { ~
M
•
Then b ~
Set ~(b, a, ~) ~ ( ~ ] ~ U)[<]> ~ b ++ +(a, ÷v, ~)].
M ~ (Qv)~(b, ÷ a, ~).
Well suppose not.
Then M ~
b, a ~ priM(t) -< M, there is such a z in Pal(t). M ~ ~[~(b,
+
~(a, w, u)}.
a, ~) ÷-,~ ~ t].
Let ~(x) be the
~z ~ [ ~ ( b ,
), so We must show that
a, ~) ÷-~v÷ ~_ z].
So, in particular,
But w ~ t and yet M ~ ~(b, a, w)'
I
~-formula ~(x) -- ( V a _~ Pr(x))(la I ,< K ÷ a s Pr(x)).
ES*(x) = ES(x) + {O(x)},
So as
Let
an arith, set of ~-formulas.
We are now ready to prove the two fundamental lermnas for our proof. Lennna 6 Let M -_- ~
be countable and arith. U-sat.
There is a countable, arith. U-sat.
M' >-M such that UM'= U M and for some x c M', M' ~ M -~x + ES*(x). Proof: By lemma 3, it suffices to prove M ~ QxES*(x).
But thus clearly holds for 0 ~
Lenuna 7 Let M - ~
be countable and arith. U-sat.
Let t ¢ M be such that M ~ ES*(t).
Then there is a countable arith. U-sat. M' > M such that U M' = U M, and a map
-180-
o'; M - ~ M' such that ~[prM(t) = id[prM(t) and M' ~ M-~
~(t).
Proof: As a trivial consequence of lermna 4, we see that there is a countable, arith. U-sat. M > M
such that ~
= I#M, and an a E M such that M ~ M ( a ) .
Since M ~ lal ~< ~, let f ~ M be that element of M such that (recalling that U ~ = K) M ~ "f is the ~ - l e a s t <-enumeration of a". Then, ignoring f for a few moments, we have: (I) z ~ M + ~
z ~ a.
For let z e M.
Then {z} g M, so as M ~ M ( a ) ,
d = (aaPr(t)) M.
M ~ {z} c a, so M ~ z s a.
Let
Then
(2) M ~ d ~ t. For as M - < M ,
M ~ ~(t) ^ Id I ~< K ^d ~Pr(t).
Since M ~ Idl ~< ~, let g e M be such that M ~ "g is the -~-least ~-enumeration of d". Let H(t', a') be the set of all ~M-formulas ( ~ u E U)[~(d, t, a, ~) ~+ +(d, t', a', u)], where ~ is an ~-formula.
Thus H is M-arith.
Since t, a _=~t (by (I)), lem~a 7 yields M ~ (Qt', a')H(t', a'). is a countable arith. U-sat. M' >-M such that (3) M' ~ N ~ t ' ,
= ~
So, by lemma 3 there
(= UM) and for some t', a' s M',
a' + H(t', a').
By definition of H, M' ~ la'l -< K, so let f' c M' be such that M' ~ "f' is the ~ - l e a s t ~-enumeration of a'" By (3), for all ~-formulas ~, we have ->
(4) M' ~ ( ~ u
->
~ U)[#(g, t, f, u) ~-+ ~(g, t', f', u)].
It follows that for any u c U, (5) M ~
f(u) ~= t implies M' ~ f(u) = f'(u).
For suppose u E U and M ~ f(u) -= t. ~ f(u) -- g(u').
Then M ~ f(u) ~ d.
So for some u' s U,
So by (4), M' ~ f'(u) = g(u') = f(u).
Also, for any u ~ U, (6) M ~ f(u) --="t implies M' ~ M ~ f ' ( u ) . For let u ~ U, M ~ f(u) _~t.
By (4), M' ~ f'(u) ~t'.
But by (3), M' ~ M ~ t ' .
Hence M' ~ M -=f'(u). A particular consequence of (4) is that for all ~-formulas ~ and all u E U,
-181-
(7) M' ~ ~(f(u)) ~+ ~(f'(u)). Finally, if x E M, then by (I), M ~ x s a, whence for some u e U, x = f(u).
Thus we
may define a map ~: M ÷ M' by setting O(x) = f'(u) where u s U is such that x = f(u). By (7), ~: M "~M'.
By (6), M' ~ M"~ oit).
By (5),
We are now ready to prove our theorem.
Let j ~ b e an ~I -morass.
an ~ - c o m p l e x of models of the theory of ~ . arith. U-sat.
~[Pr~i(t) = id~Pr~(t).
I
We construct
By lemma I, let M 0 ~ 67~ be countable and
We construct the J~-complex as above, with M 0 at the start, so that,
in addition: (C9)
r E
S1 -
S~I ~ M
T
M M0 is countable arith. U-sat• and U r = U .
(CI0) T ~ SI÷ M T ~ ES~(eT ) (so by (C3), ~ ~ S I n T Case I.
Lemma 6 takes care of this case, so we must only check that U
induction, UM~ = UM0. Case 2.
By lermna 8, U MT = U M~
•
Hence UM~ = U
M0
MT
=
uM0.
By
.
All we need to do is check that (C9), (CIO) are preserved.
Now, any M - a r i t h . T
M . T
÷ M*T ~ ES*(c )).
(CIO) is trivial.
o f ~ M - f o r m u l a s c o n t a i n s o n l y f i n i t e l y many c o n s t a n t s f r o m T So, by a "pulling back" argument as used to define j in Case 2, we can reduce the
question
set.
t o one c o n c e r n i n g N-- f o r some T--.~ T. T
The r e s u l t
f o l l o w s by i n d u c t i o n .
Hence (c9) i s a l s o p r e s e r v e d .
Similarly,
UN~ = UN'r = UN0 f o r some ~ - . - ~ .
Case 3.1.
Since M* ~ ES*~--) by induction hypothesis, lemma 7 yields all we require T T
here. Case 3.2.
Since M*T ~ E S * ~
( e ~ ) ) by induction hypothesis, we have all we require in
len~na 7. Case 3.3.1.
By lemma 7 again.
Case 3.3.2.
By (iv) of 3.3.2 and an argument as in Case 2 above, (C9) and (CIO) are
preserved here. Hence the theory of ~ h a s Let ~ =
[J
M .
Then ~
~ ~
an /[-complex ~ = <(MT) TeS~, (~T) T¢S% ( ~ T ) ~ _ ~ T >" M0 U = U , and (by (C3)), l~I = °~2, so ~ i s as
++ required.
This proves <<
' ~> ÷ <m2' w>.
If X is regular and uncountable, <~++, K> ÷ <X ++, %> is proved in a similar fashion, using a X+-morass, with U-saturation replacing the notion of arith. U-
-182-
saturation. If % is singular, a similar argument with U-special structures in place of Usaturated structures, using
~% to code up the construction of the U-special models
in terms of U-saturated models (as in Chapter 12), will give <<++, <> * <%++, %>.
Chapter 15
SMALL LARGE CARDINALS
We consider the following types of cardinal: inaccessible, Mahlo, weakly compact, and ineffable, and show that the existence of such is consistent with V = L. We shall not, however, discuss these properties in any other way. First, let us observe that since the predicate "v
is a cardinal" is ~i' every 0
cardinal must be a cardinal in the sense of L. Recall that K is inaccessible iff < is regular and ( ~ e ,
% < <)(8 % < K).
Theorem 1 If K is inaccessible, then ~L "K is inaccessible~ Proof: The predicate "v 0 is inaccessible" is~] IRecall that ~ is Mahlo iff every closed unbounded subset of ~ contains an inaccessible cardinal. Theorem 2 If K is Mahlo, then ~L ''~ is Mahlo". Proof: Suppose C s L, C ~ K, and that ~L "C is closed and unbounded in R".
Then, in
the real world, C is closed and unbounded in K, so there is an inaccessible cardinal % in C.
" ". By Theorem I, J=L "~ ~ C & ~ is inaccesslble
QED.
Weakly compact cardinals have been discussed in chapter ii, of course.
The
results there obtained gain importance by virtue of: Theorem 3 (Keisler) If ~ is weakly compact, then ~L ''~ is weakly compact~ Proof: A standard equivalence of the notion of weak compactness for ~ is the statement that for every structure of the form
K
g X and
(This equivalence is due to Keisler, and can be
established in several ways.)
Using this fact, we shall establish our theorem
-184-
by proving that with ~ weakly compact, ~L SH(<). ~L "T is a normal (~, K)-treeo
(K, <)-tree".
Then, in the real world, T is a normal
Since < is weakly compact,
T has a <-branch,
identify b with its canonical enumeration. the set of predecessors b~
Let T s L be such that
We shall
Now, for each ~ < ~, b ~
of the element b(~) of b.
s L, being definable
say b.
is just
Hence for each e < ~,
from T and b(~), of course.
We show that b s L,
which proves the required result,
since then ~L "T is not Souslin".
~ There are just two points to note here.
Firstly,
s L<).
as K is inaccessible,
V
W ZFC and L K
cardinal and each b ~
~ ZFC.
Secondly,
Clearly,
as R is a
K
s L, then each b ~
~ L .]
Now, we can easily code up
the two predicates L , b in the above structure as a single unary predicate. Hence, by Keisler's extension property
(above), there is a transitive
set X
such that V K s X and
In particular,
<X, s, Y, Z> ~ ( ~ ) ( Z [ ~
this implies <X, c, Y, Z> ~ " Z ~ clearly have Y = L
here,
Y
easily seen that Z ~ transitive,
b s L
Since K s X,
But look, X is transitive,
some y (in fact for y = sup(X ~ On).).
= b.
~ L.
g Y".
E Y).
Hence <X, c, Ly, Z> I= "b c L y
v!
so we And it is
Thus, as X is
QEDo
Y The critical
fact used in the above proof is worthy of special mention.
Stating it in general terms, it says: Lerm~a 4
(Keis ler)
Suppose < is weakly compact. Xc
If X ~ K and for all e < K, X ~ ~ s L, then
L. The proof differs hardly at all from the argument used in theorem 3, of course. Finally, we prove a result which bears upon Chapter I0.
Theorem 5
(Jensen; Kunen)
If K is ineffable,
then ~L "K is ineffable".
Proof: We use Theorem i0.I.
Let
I e < <> ~ L be such that A ~ c-- ~ for all e < <.
We seek a set A ~ ~ such that A s L and I=L "{~ ~ ~ I A Q ~ = A } is stationary".
-185-
Now,
in the real w o r l d
there is a set A ~ K such that
X = {e s K I A ~ ~ = A } is stationary A ~ ~ c L, since A
~
So by len~a 4, A s L. predicate
in K.
But look, for each ~ < K,
= A B n ~, where we pick any B s X such that B > ~ here. Thus X e L also.
"X is stationary"
is ]]I' ~ L
But as X is stationary
"X is stationary".
and the
The theorem is proved.~
Chapter 16
MEDIUM LARGE CARDINALS
We show that the existence is consistent with V = L.
The proof can easily be extended to the case where
÷ (a)< 2 for all a < L • I
[Recall that ~ ÷ (~)<w means that for all f: [~]<~ ÷ 2 2
there is X ~ ~ of order-type ÷ f(ol ) = f(a ), where 2 Theorem I
~ such that for each n < w, °l' °2 g Ix] n ÷
[<]<~ =
~
n<~
[KJ n.
We then say that X is homogeneous
Then ~e K ÷ (~)<2"
Suppose f e L, f: [<j<~ ÷ 2o homogeneous & (~n
for f.
Notice
< lol)(Va0,
We seek X ~ <, X ~ L, X infinite, which is
that (~<]<~)e = [<]<~o
~i s [o]n)(f(o0)
= f(ol ))}"
ZFC that f has an infinite homogeneous Now, since f does <~,
for f.]
(Silver)
Assume < ÷ (~)<~. Proof:
of a cardinal K such that < + (~)<m 2
the same definition
~
={~ ~ < I Iol <
Clearly,
set iff < ~ , ~
have an infinite homogeneous
~ > is not well-founded.
Hence,
Set
But look, <~,-~ > s
it is provable
in
> is not well-founded.
set in the real world, L, and in fact ~
in L as in V (namely the above, L-absolute
has
definition.)
as L ~ ZFC, the theorem follows from the following lermma.
Lemma 2 Suppose is a partially ordered structure
in L.
Then is well-
founded iff ~L " is we ll-founded. Proof:
Suppose is well-founded. chains from A. founded".
-g-decreasing
Hence there can be no such chains in L, so I=L" is well-
Conversely,
suppose I=L" is well-founded".
L, we define, by induction, of .)
Then there are no infinite
in
an order preserving map r: A ÷ On (i.e. a ranking
The existence of such an r clearly implies
is well-founded.
Then, working
that ~A, --~ > really
QEDo
Remark Theorem I ties in closely with a result in
[6] .
There it is proved
that,if
-187-
V = L, then K + (W)<~ is equivalent order structure
~'~ =
such that no element of X is further details of this result, reader
to
E6].
to the assertion
~% -definable
(Fr(~, ~)) that for every first
language there is an infinite set X ~ from any other elements
of X.
For
and the property Fr(<, %) in general, we refer the
Cha?terl7
LARGE LARGE CARDINALS
In this chapter we shall study the effect of very large cardinals upon the constructible universe.
By "very large cardinals" we mean, for example, measurable <w
cardinals, Ramsey cardinals, or cardinals ~ such that K
+
(~i) 2
.
Since all
measurable cardinals are Ramsey, we shall consider Ramsey cardinals specifically.
All
<m of the proofs can be adopted to the weaker notion < ÷ (~i)2 , but the details are a little more akward.
We refer the reader to []~] on this matter.
And for general
information concerning measurable cardinals, Ramsey cardinals, etc., we refer him to [~.
That every measurable cardinal is Ramsey is proved, in effect, in chapter 19.
Preliminaries Suppose <X, <> is an ordered set. x is increasing if x --
Let ~ denote <x0,... , Xn> throughout.
Say
<...< x . 0
n
We shall be concerned with structures of the form
~=
where
linearly orders a subset of A (called the field of
We shall always assume 6"t is a Skolem structure, although in general
we will not explicitly mention the Skolem functions.
Thus, if ~
is the language for
0-[, ~ will be countable and for each ~-formula ~(v0,... , v n) there will be f# s such that ~ For ~
~ V l . . - V V n [ ~ V 0 # ( v 0, v I ..... v n) ÷ #(f#(v I ..... Vn), v I ..... Vn)].
such a~structure and _a ~ A n+l , define the type of a as the set
{#(v 0 ..... v n) ~ ~ 4, ~
I0~
~[~]}.
Thus for each ~(v 0 ..... Vn) ~ ~, exactly one of
is in the type of ~. A subset H ~ A is 6-~-homogeneous (or a set of indiscernables for ~]~) if
(i)
H ~ f i e l d of
(ii)
H is infinite;
(iii) for each n e m, all increasing n-tuples from H have the same type. Recall that if X is a set, % a cardinal, [X] <~ = {Y ~ XIIY 1 < ~}.
~ ] % = {Y ~ XIIYI = %} and
In the following, the set X is said to he homogeneous for
-189-
f.
For K, %, ~ cardinals, write K + (%)~m iff (~f:
[K] <~ ÷ ~ ) ( ~ X
c ~]%)(~a,
We say K is a Ramsey cardinal iff ( ~
b c [X]<~)(la I = ]b] ÷ f(a) = f(b)). < K)(K ÷ (K)~).
It is proved in ~
that <
is Ramsey iff < ÷ (K)~ ~. Lemma 1 If K is Ramsey, then K is inaccessible. Proof: Let K be a Ramsey cardinal. (i)
Suppose < is singular, and let % = cf(K) < K.
ing sequence of members of K with U<.K
= K.
Let ( < ) <% be a strictly increas-
Define f: [<] 2 ÷ 2 by setting
f({a, B}) = 0 iff ~ and ~ are separated by K for some y < %, and putting Y f({a, ~}) = 1 otherwise.
Extend f trivially to have domain [K] <~.
have no homogeneous set of power K, contrary to < being Ramsey. (ii) Suppose now % < < ~ 2 % for some %.
Clearly, f can
Hence < is regular.
Then we may identify < with a subset of ~2,
and hence define f: ~ ] 2 ÷ % by setting f({a, B}) = the least y c % s.t. a(y) + ~(y). Clearly, if f is constant on IX] 2 for some X ~ <, then IXI ~ 2, contrary to K being Ramsey. | Lemma 2 (Rowbottom) Let K be a Ramsey cardinal, IField(
~=
a given structure with
Then there is H G A of power K homogeneous for ~ .
be the language for ~ .
f: [B] <m ÷ ~ ( ~ )
Let B ~Field(
IBI = <.
Define
by setting f(~) = type of ~, where ~ is the increasing
enumeration of {ala e ~} c [B] <~.
By lenmna I, I ~ ( ~ ) I
is Ramsey, f has a homogeneous set of power K.
= 2~
< K.
Thus as K
Clearly, such a set will be
~ -homogeneous. I For later use, we require some concepts from recursion theory.
Let A, B ~ ~.
Recall that A is many-one reducible to B iff there is a recursive function # such that ( V n
~ ~)(n s A +-+ ~(n) e B).
Let A, B ~ ~. (~n
A is
I~(B)iff
c ~)(n e A +-~ R(n, B)).
there is a l~-predicate R(n, x) such that
Similarly for A being,S(B).
A is AI(B)m iff A is both
-190-
Lemma 3 Let B be AIm(C)" There is a [1-predicate S 1 (X, Y) such that (I) ( V D
=~)(D
= B K-+ SI(D, C)).
And there is a]T1m-predlcate S2(X, Y) such that (2) ( ~ D ~ ~)(D = B +-+ S2(D, C)). Proof: Let R I (n, X), R 2 (n, X) be, respectively, that ( ~ n
a Jim-predicate , a lqlm-predicate such
~ ~)(n ~ B K-+ Ri(n ' C)), i = I, 2.
(kln g ~)(n e D ÷ Rl(n , C)) & ( ~ n predicate,
SI(D, C).
Then D = B iff 1 This is a Ira-
~ m)(R2(n, C) ÷ n E D).
To obtain $2, simply interchange R 1 and R 2 in the above.|
Lemma 4 (Shoenfield) Let A, B, C = ~, where A is [In(B) and B is AIm(C)" Then:(i)
If n < m, A is AIm(C)
(ii) If n >. m, A is [In(C). Similarly for ~ in place of [. Proof: Let S(r, X) be a [In-predicate such that ( V r
g ~)(r c A K-+ S(r, B)).
By lemma
3, ( I ) , (*) ( ~ r
~ ~)(r £ A ++ ( ~ D g ~)(SI(D, C) & S(r, D))).
The RHS of the above equivalence is easily seen to be a [Is-predicate of r, C, where s = max(m, n).
If m > n, then, in addition,
(**) ( Vr e ~)(r e A +-+ ( V D c_ m)(S I(D, C) ÷ S(r, D))) and here
the RHS is aTFlm-predicate of r, C. |
Corollary 5 (Transitivity of AIn) Let A, B, C c ~ . --
If A is AI(B) and B is AIn(C) then A is AI(c). n
'
In particular,
n
if A, B =_ m, B is A n,I and A is many-one reducible to B, then A is Al.n ~ For the rest of this chapter~ we assume that there is at least one Ramsey cardinal.
BRC denotes the statement "There exists a Ramsey cardinal".
-191-
The Main Theorems We shall prove three theorems.
In this section we shall simply state these
results and derive some corollaries. Theorem 6 (Solovay) There is a non-constructible A~ set O~ ~ ~ such that every construetible subset of ~ is many-one reducible to 0 ~. Corollary 7 Every constructible subset of m is A~. Proof: By corollary 5 above. | Theorem 8 (Silver) If <, X are cardinals,
~ < < ~ X, then
Theorem 8 was first proved by Gaifman, under the assumption that there is a measurable cardinal. Since, by theorem 8, L is the union of the elementary chain L i ~
L 2 < . . . , we
have Corollary 9 If < is an uncountable cardinal, then
NRC ~ "If X > e is a cardinal and x s Ll, then ~LX(x) ~-+ ~L(x)".
Corollar~ Ii (Metatheorem) If ~ is a function from ordinals to sets defined in ZFC and if ~ I " ' ' '
~m < ~ ' 1
then fL(el,..., ~m ) is countable. Proof: As ~ ..... ~m ~ L~ I' 9 gives fL(~ ,.... ~m ) = fL~l(~l, .... ~m ) s L L ~L are countahle. For example, ~i'
.
l
As another example, we have
Corollary 12 (Rowbottom) If ~ < ml' then V~ ~ L is countable.
In particular, ~(~) ~ L is countable.
-192-
Proof: By corollary ii, as V L = V
f~ L and @L(~) = ~(0~) FI L.
Corollary 13 Let ~(v0) be D-absolute for L, and suppose there is a cardinal % > ~ such that #(%)o
Then for some ~ < ~I' ~L(~).
Proof: Assume a recursive g6del numbering of the formulas of set theory.
Define
(in ZFC) a function ~: m ÷ On by setting (for each formula ~(v0)) the least uncountable cardinal s.t. ~; if this exists. ~(~)
t O;
otherwise.
By corollary Ii, for each ~, L ( ~ ) for the given ~, ~(~) > O. ~L ~ ( ~ ) "
is a countable ordinal.
Hence ~(~(~)).
Hence ~L[~(~) > O & ~(D(~))].
Now, we know that
By D-absoluteness, ~L(~(~)). In other words, ~ L ( L ( # ) ) ,
Thus
and we
are done. | Corollary 14 (i)
ZFC +
~RC ~ ( H a < ~l)(e is inaccessible in L)
(ii)
ZFC +
3RC ~ ( ~
< Wl)(~ is weakly compact in L)
(iii) ZFC +
~RC ~ ( ~
< ~I)(
Proof: By corollary 13 and the results of chapters 15 and 16. | Note that the ordinals of a model of set theory form a linearly ordered subset of the model.
Thus, models of set theory are included in the class of models we
discussed initially. Theorem 15 (Silver) If % > ~ is a cardinal, then there is a set of indiscernables for
If there is a cardinal % > ~ such that ~(%),
-193-
then cL(~I). Proof: By D-absoluteness, ¢(~) ÷ cL(~).
By corollary 16, cL(~I).
I
Corollary 18 (i)
toI is inaccessible in L.
(ii)
cdI is weakly compact in L.
(iii) If ~ = ~I' then ~L ~ ÷ (w)2 ~.
I
We are now ready to prove theorems 6, 8, and 15. Proof of the Main Theorems Let ZFL be the theory ZFC + V = L.
Recall that if
model of ZFC, then there is an isomorphism If
~
ZFL, then A' = L
c~
for some ~ = t ~
01= is a well-founded
~ : ~-~ ~ , where A' is transitive. > w.
A' is called the transitive collapse
of A, ~ the collapsing isomorphism. 0~ Suppose for
6-[ = is a model of ZFL, and H c On
~L (under the E-ordering of On
holding in ~
in ~ ) .
on increasing tuples from H.
then N is ~-homogeneous
is a set of indiscernables
Let F~(H) denote the set of formulas Note that if H ~ B and
~ = -<~,
and F@(H) = F0~(H).
It is worth recalling, at this point, our earlier convention that we assume without explicit mention that all structures have a complete set of Skolem functions. A set of formulas is an Ehrenfeucht-Mostowski F~(H) for some model
(E-M) set if it is of the form
O~l of ZFL and some 6~L-homogeneous set H ~ On ~.
Let ~ be an E-M set, ~ an infinite ordinal.
A (~, ~)-model is a pair (~L, H)
such that : (i) (ii)
0% ~ ZFL 01 H c On is ~ -homogeneous
(iii) H generates
0l (via the Skolem functions of ~ )
(iv)
~ = F~(H)
(v)
The ordinal ordering of ~ type ~.
(henceforth written as <~) well-orders H with order-
-194-
If (i), (ii), (iv), (v) hold but (iii) fails, then by replacing 0~ by (the substructure of
~ generated by H), (i) - (v) will all hold for
by virtue of ~I being a Skolem structure,
~H
~H
Say (~I' HI) and ( ~ 2 ' H2) are
isomorphic if there is f: ~I I =~ ~ 2 such that f: ~ . (See, for example,