Professional Documents
Culture Documents
Jörg Flum, Martin Ziegler - Topological Model Theory (1980, Springer-Verlag Berlin Heidelberg)
Jörg Flum, Martin Ziegler - Topological Model Theory (1980, Springer-Verlag Berlin Heidelberg)
Mathematics
Edited by A. Dold and B. Eckmann
769
El II
J6rg Flum
Martin Ziegler
Springer-Verlag
Berlin Heidelberg New York 1980
Authors
J~rg Flum
Mathematisches Institut
Abt. fL~r math. Logik
Universit~t Freiburg
D-?800 Freiburg
Martin Ziegler
Mathematisches Institut
Beringstr. 4
D-5300 Bonn
Introduction
Part I
§ 10. ( L ® I ) t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Part II
§ I. T o p o l o g i c a l spaces ....................................... 78
A Separation axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
§ 2. T o p o l o g i c a l a b e l i a n groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
§ 3. Topological fields ....................................... 120
A C h a r a c t e r i z a t i o n of t o p o l o g i c a l f i e l d s . . . . . . . . . . . . . . . . 120
B Valued and ordered f i e l d s .............................. 123
C Real and complex numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
§ 4. T o p o l o g i c a l v e c t o r spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
A L o c a l l y bounded r e a l v e c t o r spaces . . . . . . . . . . . . . . . . . . . . . 130
B L o c a l l y bounded r e a l v e c t o r spaces w i t h a d i s t i n g u i s h e d
subspace .............................................. 134
C Banach spaces with linear mappings ..................... 139
The omitting types theorem fails for Lt; we show this in section 9, where we
also prove on omitting types theorem far a fragment of Lt, which will be use-
ful in the second part. The last section is devoted to the infinitary long-
guage (Lw ~)t" We generalize many results to this language showing that each
I
invariant ~1-sentence aver (Lw ~)2 is equivalent in countable topological
I
structures to a game sentence, whose countable approximations are in ( L w)t.-
We remark that some results like Scott's isomorphism Theorem do not genera-
lize to (LwI~)t.
The second part can be read without the complete knowledge of the first
part. Essentially only §§ ] - 4 are presupposed. The content of The sections
of the second part is the following:
§ I Topological spaces.
~ d l s c = v x 3X V y ( y e X ~ y = x) ,
(~,~) ~ ~ iff ~ is a t o p o l o g y
~bos : Vx 3X x e X A Vx vX v Y ( x E X A x e Y
3z(×~ zAvz(z~ z~ (z~ XAz~ Y)))).
Then
= {Usls ~ ~}.
Hence
(~,~) ~ ~ iff ( ~ , ~ ) ~ ~.
iff (re,T).=.
Each sentence of the sublanguage L t of L2 that we introduce in the next sec-
tion is invorian%. Later on we will show the converse: Each invariant (in-
variant for topologies) L2-sentence is equivalent (in topological structures)
%o an Lt-sentence.
1.3 Exercise. (a) Show that the notions "hbusdorff", "regular", "discrete"
may be expressed by L2-sentences that are invoriant for toplogies.
(b) For unary f e L, VX Vx(x e X . 3Y(fx e Y ^ Vy(y e Y ~ 3z e X f z : y ) ) )
is a sentence invariant for topologies expressing that f is an open map,
( c ) For unary P e L, 3X Vy(y e X ~ Py) i s a sentence not i n v a r i a n t for
topologies. In topological structures it expresses t h a t P i s open ( b u t see
2.5 ( b ) ) .
(d) Give an example of an L2-sentence invoriant for topologies that is not
invariant.
1.4 Exercise. (Hintikka sets and term models). Suppose L is given. Let C
be a countable set of new constants and U a countable set of "set constants".
Denote by L(C,U) 2 the language defined as (L u C) 2 but using the additional
atomic formulas t e U (for U e U). Basic terms are the terms of the form
fcl,...c n (with c1,...,c n e C) and the constants in C. Let ~ be a set of
L(C,U)2-sentences in negation normal form (for a definition see the beginning
of the next section). Q is said to be a Hintikka set iff (i) - (x) hold:
(i) For each a t o m i c ¢ o f the form c I = c2, R C l . . . c n or c e U (where
c.,c • C and U e U) e i t h e r @ ¢ ~ or ~ ~ ~ ~.
1
c 1 ~ c2 iff c I = c 2 • ~.
Show t h a t ~ i s an e q u i v a l e n c e r e l a t i o n . L e t ~ be t h e e q u i v a l e n c e c l a s s o f c.
D e f i n e an L - s t r u c t u r e (~,~) by
A = {~)c. ~},
f o r n - o r y R • L, R ~ l " " ~ n iff Rc l . . . C n • Q
(b) (~,~) ~ n.
(~,o') is called the term model of ~.
§ 2 The Language Lt
The formula
3X~t~X v (ceX A ~ceY A 3y(yeX AyeY))
i s an Lt-sen%ence.
Note t h a t Sf X i s f r e e i n a subformula ~ of an Lt-sentence then e i t h e r ~ i s
p o s i t i v e or negative in X. Foz an k t - f o r m u l a ~ the notation
~ ( x 1 . . . . . Xn,X~, . . . . X ~ , Y T , . . . , Y ~) expresses t h a t ~ i s p o s i t i v e in X1, . . . . Xr
and negative in Y I , . . . ~ Y s .
i f ~ ( ~ , X + , Y - ) ~ L t , a e A, U , V c A, then
The class of topological groups and the class of topologlcal f i e l d s are axlo-
matlzable in Lt; for example, i f L = { - , - l , e } then the topologlcal groups are
iust the structures which are models of the group axioms and the sentences
" • is continuous",and " - I is continuous".
(~,~) ~ ~ iff ~ ~ ~ .
3.7 Exercise. Show that the class of compact spaces cannot be axiomatized
in Lt-
c ( L ) t,
Much more involved and sometimes even impossible are the proofs f o r L t , ( L ) t
I
and ( % ) % of theorems which - as the i n t e r p o l a t i o n theorem, the o m i t t i n g
types theorem o r Scarfs isomorphism theorem - claim %he e x i s t e n c e of a f o r -
mula having a c e r t a i n property.
3.11 Exercise. Let Lt(Q ) be the language obtained from L t by adding the
quantifier Qx expressing " t h e r e are uncountable many x " . Show, using the cor-
responding r e s u l t s f o r L (Q), t h a t i f we r e s t r i c t to t o p o l o g i c a l structures
Lt(Q) s a t i s f i e s the compactness theorem f o r countable sets of sentences and
the completeness theorem.
Here we sketch the definitions for the no±ions we need, when discussing such
structures :
Let S be a non-empty finite set, S = [il,...,ir] , the set of sorts, and let
L ° be a similarity type. Assume that typ is a function associating sorts
with each symbol in L°: if R e L ° is n-ary, then typ(R) is an n-1~uple
(ii,.. " I in ) • Sn ; and if f • f i s n-ary, then typ(f) is an (n+1)-tuple
(]I ..... in,] ) e S n+1 . h = (U°,S,typ) is called a many sorted-similarity type.
• °
T = {UIU c (N - {0]) or N - U is f i n i t e } ,
and for U c N x N,
U• ~ iff U s a t i s f i e s ( i ) and ( i i ) ,
§,,4,, E h r e n f e u c h t - F r a f s s ~ Theorem
Extending the terminology of topology, we call weak structures (~,a) and (m,T)
.homeomorphic,written (~/,a)t (@,T), i f (9/,~) and (@,~) are isomorphic.
0 .
Suppose n zs an isomorphism of (~,~) onto (_%~). I f we define the binary re-
1 2 1 2
lations TT and 'rT ,TT ,TT C O" X T , by
TT I = [(U,V)I(U,V) • ~ x T, J ( U ) c V]
2
- {(u,v)l (u,v) • x (J)-1(v) u},
then the f o l l o w i n g holds:
Oo
(1) ~ zs an isomorphism of ~ onto ~.
13
pl 2 1 2
(ii) and p are r e l a t i o n s , p ,p c ~ x T, s a t i s f y i n g :
Pn c Pn+l
a n e dam( Pn+]
o ), bn e rg(Pn+l)
o
o
if a e U ±hen there is a V e such t h a t pn+l(an) ¢ V
n n
and UnP~+lV.
15
((~l,~l),(~2,~2),(Fl,~3),(F2,a4),(I,~5),Et,E 2, ),
which are model of the L~-sentences (note that ~3,a4 and ~5 will be a r b i -
trary):
"F 2 i s v i a E2 a b a s i s o f ~2"
(~l'Fl) t (~2,F2),,.
P
Notethat introducing Fl and F2 we are able to quantify in L~ a r b l t r a r i l y
over the elements of a basis of ~ resp. ~; in particular, we can formulate
the back and forth properties. Note also that by the preceding, every PC-
c l a s s o v e r L2 d e f i n a b l e by an i n v a r i a n t sentence, i s a PC-class o v e r L t .
17
a. • U and t:
1
÷ + ! <
I = {Pl P has the form ({(ai,bi) l i < n}~(Ui,Vi) < s}),
+ ~+ , ~ , ~ . . . . 'D~-l I~ ' ~ }
~(do' . . . . dn-l'Do . . . . . r-l
Hence, it is realized, say by U e ~. Then (pO,p1 u { ( U , V ) ] , p 2) i s an exten
sion in I with the desired properties.
4.8 E x e r c i s e . Show: (~,~) and (@,T) are partially homeomorphic iff they
are (Loo)t-equivalent.
t
The finite approximations of are the relations-~t of the next definition
for finite ordinals ~.
Note that any two structures are l-partially homeomorphic. Our terminology is
not standard: sometimes two structures are called ~-homeomorphic, if they
are (~ + 1)-homeomorphic in our sense. - The name "finite approximation" is
iustified by the next lemma, whose proof is left to the reader.
4.10 Lemma. (a) I f (~,~) t (@,T) (in particular, if (~,~) t (~,T)), then
p
(~,q) t (@,T) for any g.
¢
(6) If J and A is a set of o elements, then J
n+2
Note that for t the corresponding onaiogues of the results in 4.4 hold.
4.11 Exercise. Let h be one-sorted. Show that there is a many-sorted L' and,
for n e w, a set ~n of L~-sentences such that for all L-structures (~i,~i)
and (~2,~2) we hove:
exercise).
Recall that Wo,W 1 .... and W o , W y . a ~ t h e variables resp. set variables. For
o A A A ~_ _
n n-1
A A 3Y 9 w_ n-1
~a,~+,~- = ,~ sw k ~aa,~+,~ - S 1
a ¢ A 0_< i < k U e ~ a,U ,U U
a, e U
1 /
% ~ v s % , , , ,~ ~ , , , . , ~ ,,,,
( f o r t h 1) ( f o r t h 2)
n-t n-1
A Vwk V C°ma,~ + , ~ - A A VXr ~ w.z V ~°a,~+u,~- "
aeA O_<i<k Ue~
a. EU
%,-
( back 1 ) ( back 2)
I f(U+
= [PlP is of the form ({(ai, b l ) l i < k},t, i ' V+~
i " l i < r},{(U~.,V[) l i < s})
n
The sequence (In) n < w has the back and f o r t h properties l i s t e d in 4.9;
n _
for each property we have specified in the definition of ~ , U + , ~ - what part
n
of ~c,U+,0" is needed.
n
If (S,T) N @(Q,e) then In is non-empty (since ( ~ , ~ ) e In).
In p a r t i c u l a r by 4.10b
n+l
n
(il) .
22
(~ii) (~,a) and (~,~) s a t i s f y the same Lt-sentences of rank% n (where the
d e f i n i t i o n of the rank of a fozmula is the natural extension to L t of
the definition in [~]).
Often when applylng the back and forth methods, the following lemma wiI1 be
useful.
4.16 ,
Convergence lemma. Let L, L 1 and L2 be such that L ~ L 1 n L2" Suppose
(~,~). Ss an k2-structure. Assume that for each n e ~, there is an kl-stzuc-
lure (~n,~n) such that (~ ~ k,~ ) t ($~ k,~). Then there are an k l - s t r u c -
0 n n n
ture (~*,~*) and an L~-struct~re (~*,~*) such that
(2) A* u ~* u B* u T* is denumerable.
2
(3) (~,T) ~ (~*,~*), i . e . (~,~) and (~*,T*) are L 2-equivalent.
In particular, (~,T) ~t ( ~ . , ~ . ) .
Proof. Clearly i t suffices to show the existence of (~*,~*) and (~*,T*) with
homeomorphic L-redacts instead of (1). We introduce a many-sorted s i m i l a r i -
t y type which enables us to speak of structures of the form ( ( ~ ' , ~ ' ) , ( ~ ' , 7 ' ) )
where ( ~ ' , ~ ' ) and (m',~') are L 1 ~e~p. L2-structures. For ~ L 12 resp.
$ e L22 l e t ~ 1 resp. $2 denote a sentence of t h i s many-sorted language such
that
((~',~'),(~',~')) ~ ~ 1 iff (~',~') ~ ~ ,
((~',a'),(8',T')) # $2 iff ( ~ ' , ~ ' ) ~ $.
Now assume that (~1,~1) ~t(~2,~2). By the preceding corollary there are ~,7 t
and T2 such that 71 = ?2 and ( ~ i , ~ i ) ~ (~,T i) for i = 1,2. By the Keisler-
Shelah-theorem we find an u l t r a f i l t e r D over a set I such that
So, suppose (~,T) k ~ u {¢n In ~ w]. Since (~,T) k n there is (~n,~n) such
n
that (~n,~n) b • u {~o}, and (~,T) ~ ~o(~ ,c~ ) ' i . e . (~n,~n) ~n ( ~ ' ~ ) " By the
convergence lemma, we find ~*,o'* and ~r*n n such that ~'* = "~'*,
(~[*,C*) ~ ~ U {¢p] and (gJ*,T*) ~ (~,'r). In particular ( ~ * , 7 " ) ~ ~- But then,
by ~ i n v a r i a n c e of :o, we hove ( H * , ? * ) ~ ~, i . e . (~,?) ~ ~ .
(c) Prove the following convergence lemma: Let L,L 1 and L2 be such that
k c k 1 n L2" Suppose (~,~) is an L2-structure,and that f o r each n e m, and
each f i n i t e
k' c L there is an k l - s t r u c t u r e ( ~ ( n , k , ) , ~ ( n , k , ) ) such that
t
(~(n,k') ~ k"a(n,k')) n ( ~ k ' , ~ ) . Then there are an k l - s t r u c t u r e ( ~ * , ~ * )
L 2 - s t r u c t u r e (~*,T*) such t h a t
(i) ~ ~I ~ ~2"
(ii) There is a ~ e L t such that ~ ~l ~ ~ and ~ ¢ ~ 02.
Considering the back and forth properties for each sort, it is possible to
introduce notions like "partial homeomorphic" also for many-sorted struc-
tures, and %o derive the corresponding results. For example one gets for
many-sorted L:
Note that from the many-sorted interpolation theorem (2) one obtains (])
using the technique of additional universes sketched in 4.5. In particular
o syntactic proof of the many-sorted interpolation theorem (see B.8.~)
yields o syntactic proof of the fact that the invariant L2-sentences are
the Lt-sentences.
interpolation theorem.
n _ _
Hence X-,U+,U-a is d-existential. Therefore:
(backo) For all p e I, all V such that U p2 V for some U, and all b e V
there is q e I with p c q and b e rg(q°).
n
Thus the corresponding formulas ~ ~,~+,~- contain a con}unct of the form
n-I
A Vwk • Y'z V ~aa,0+,0 - '
o_<i<s aeA
In 8.8.~ we show that 5.12 and the corresponding theorem for end-extensions
in classical model theory have a common generalization. °
1) Show that for given (~,~) and (~,T) the following are equivalent.
(i) There are (~*,~*) and (~*,T*) Lt-equivalent to (~,~) and (~,T)
respectively, which contain homeomorphlc open substructures.
0
Ci = [~ UilUi e ~ for oll i e I}.
I I
On the other hand some theorems and proof techniques generalize to the pre-
sent case, e,g.
t
6.] Theorem. If (~i,~i) ~ (~i,Ti) for each i , I, then
Using a global strategy one can strengthen 6.1, thus, e.g. obtaining:
If I and J are both infinite, and (~,~) t (@,T), then (~,~)I t (~,T)J
(where(~,c)I is ~(~,c)).
I
But it is also possible to derive these results from the results in [~-]
using the following remarks.
c) If I and J are both infinite and (~,~) t (@,T), then E (~,~) t Z (@,T).
I J
Proof. By (2), a) and b) are special cases of the results in [~ ].
c ) : By 4.17 we f i n d ~ and bases ~' and T' of the same topology, ~ ' = ~ such
that and
Hence
t
Z (~,~) ~ E ( ~ , ~ ' ) t Z (~,~') ~ Z ( ~ , T ' ) ~ Z @ , T ' ) ~ Z (@,T) •
I I I I J J
The forsulas ~I' .... Cm obtained in the proof in [~r] in general do not be-
long to L t. But we need Lt-farmulas in order to carry over to the present
case the decidability results of [5}. We show how to modify the proof of
[~] to get ¢i lying in L t.
84
S(¢ i) = { i l ( ~ i , a i ) ~ ~i[~(i),0(i),V(i)]} •
~h = ~Y ~ t A ¢)
i e sh
and f o r 1 ~ i ~ m, l e t
T
~i = ~i ¥ '
T
(where ~i ~ is obtained from ¢i s u b s t i t u t i n g any atomic part of the form
t' e Y by t' = t').
The monotonicity of X' implies that of X. We show that 3Y~ tO' is determined
by (X;Q]. . . . , q l , ~ ] , . . . , ~ m ) . - Let us f i r s t suppose that
0
(~fa i) F 3Ygt ~'[a,O,V], say 5 (Si,oi) b ~'[a,O,9,V] where V c ~ a..
I I I i
For 1 ~ h ~ I, let
and f o r 1 ~ j % m, l e t
T - . -
(2) Nj = S ( ¢ j ) = {i e II(~i,ai) ~ ,jT[a(z),U(i),?(i)]}.
Zh = { i e II(~i,a i) ^ ~j[~(i),O(i),#(i),v(i)]}.
j ~ sh
C o n v e r s e l ~ suppose
m
For i ~ ~ (Zj - N j ) , l e t V i = A 1. For i e LJ (Zj - N j ) , let
j=l j=l
s = {jli e Zj, 1 -< j < m}. Chooseh such t h a t s = Sh.Since Z h c Mh t h e r e is
V. • a. w i t h
1 1
~(~/i,°i ) m
Let V be g V.. Then t [a] e V and since L3 (Zj - Nj) is finite,
i~I I j =I
o
Vega..
1
t
For 1% j % m define H. by
]
Using 7.1 and 7.2 of [5] we obtain from the preceding theorem:
6.4 Corollary. (11 Suppose that Tht(R ) is decidable. Let R' be the class of
all products of members of ~. Then Tht(R' ) is decidable.
(21 The class of Lt-sentences preserved under finite, the class of Lt-sen-
fences preserved under infinite,and the class of Lt-sentences preserved
under arbitrary products are recursively enumerable.
One can derive the corresponding results for "weak direct products" (direct
sums): Assume that L contains just one constant, say c. We restrict our
37
1
{f/f e ~ Ai, f ( i ) = c olmost everywhere}.
e L t such t h a t
§ 7 Definability
T ~ i = I
V V~(R~ ~ ~i(~)).
Proof. (ii) = (i). This is t r i v i a l .
(i) = (ii). Suppose, by c o n t r a d i c t i o n , t h a t (ii) does not hold.
Then
3g
T I u T2 b 1 ~ ~ 2 ,
t
where T i = { ~ i l ~ e T}. Therefore for some f i n i t e T c T,
0
~AT 1 ^ 1 ~ (AT 2 ~ 2 ) .
t O 0
~ A T 1 A 1 ~ ~ and ~ ~ ~ (ATo 2 ~ 2 ) .
t o t
Hence T k ~ ~ ~.
t
We get a "uniform" t r a n s l a t i o n from L t to L~w by the next theorem s t a t i n g
that T defines the topology " e x p l i c i t l y " ( i f T defines i t implicitly).
: { ~ ( ' , ~ ) I ~ ~ A}.
bo~i~(~) : Vx v ~ ( ~ ( x , ~ ) ~ ~x ~ x(V~(z ~ x ~ ~ ( z , ~ ) ) )
^ VxVX~x ~(~(x,~) ^ w(~(z,~)~z ~x))).
T .
o
Hence
7.5 Theorem. Let T be an L t - t h e o r y and suppose ~ ( x , y ) e x p l i c i t l y defines the
topology in T. Let T ~ be the L w-theory {¢~t~ ~ T ] . Then:
We now prove
41
Proof. The proof of (i) from (ii) is easy. - Now, assume (i). Choose a new
unary r e l a t i o n symbol P and a new constant d. F i r s t we show:
X ( e ( - , w ) , y ) ~ ~ V z ( e ( z , ~ ) ~ z • Y),
: : T u {y e Y) u { V g ( x ( e ( . , w ) , y ) ~ ~ Vz(e(z,w) ~ z e Y ) ) l e ( z , w ) • L~w]
and t h e r e f o r e
n
T : Vy V Y ~ y i V: i ~ w ( X ( e i ( ' , w ) , y ) n Vz(Gi(z,~ ) ~ z • Y)).
t
Put
n
e ( z , - W'Vo' . . . ' v n) :: i v: 1 (v ° : v.~ ^ e i ( z , ~ ) ) .
42
Then i n any model o f T ( w i t h more than one element) each open set c o n t a i n s
w i t h each of i t s p o i n t s a neighborhood of t h i s p o i n t , which i s a " G - s e t " .
Let £ (z,w) be the formula (where ~ i s w,v ° . . . . , v n)
G'(z,~) :: x(e(.,~),z).
G(z,w) E Lww}.
Since • has a model, so does T ' . As usual one can c o n s t r u c t step by step a
sequence
(2) c ~ U, ~ c ~ V .
0
(3) {c o e U} c m(n)
Otherwise
T(n) ~ c E U ~ c ~ V .
0
t
Write Tin) as the union of T1(n) and T2(n) , where T. (n) contains only set
1
variables and set constants of sort i . Then
(^T1(n) ^ c e U) ~ (^T2(n) ~ c e V )
t o
(using the compactness theorem we can replace i n f i n i t e conjunctions by f i n i t e
conjunctions). By the i n t e r p o l a t i o n theorem (see 5.3), we obtain
~(c,~) e (L u {c,~})w~ such that
Now, l e t (~,T1,~2) be the (weak) term model associated with the Hin~ikka set
T~. Then (~,T~) and (~,T2) are models of T. But by construction (see (2)
and (3)) of T , we know that V° is a 72-open neighborhood of c o which con-
tains no 71-open neighborhood of c o . T h e r e f o r e T 1 ~ T2 and hence, T does
not define the topology implicitIy.
b a s i s ( ~ ) = Vx V ~ ( ~ ( x , y , ~ ) ~ 3X~ x Vz(z e X ~ ~ ( z , y , ~ ) )
A Vx v x ~ × ~ ( ~ ( × , ~ , ~ ) A V~(~(~,~,~) ~ ~ ~ X~.
I { a l ~ topology on A , ( ~ , a ) ~ T]J< 2 o
Then
T' := T u {Vw m b a s i s ( ~ ) t ~ ( x , ~ , g ) • L~]
We show that
for each i = 1 , . . . , r there is an n. such that for any (~,~) ~ T,
1
(2) any a,b • A, we have
~i~(.,-,~) : ~i~(.,-,E) .
Otherwise, applying the compactness theorem and the L~wenheim-Skolem theorem
as in the convergence lemma, we obtain a model (~,a) of T and a,G e A such
that
~i ("-'~) ~ ~i (.,-,5) .
~/ and a • A
arbitrary
T ~ VVl...Vk(X~ 1 ~ Vi ~ n b a s i s ( e l ) )
V
(1) ~ 1 ~ i ~ r 3w b a s i s ( ~ i ) .
then (m,~.m(.,~,E))
1
~ m.
• k(x,y,wl ).
o c ~1 c . . . and ~ p = n ~U o n
such t h a t
f o r some...,
(~1,~1) ~tn (~2,~2) iff ((~1,T1) ' (~2,~2), "" •-~ ~ ~ n
f o r some. . . .
(~I,~i) ~tP (~2, T2) iff ((~1,~1),(~2,~2) .... ) ~ ~p
For n ~ 0 put
SO
~n n
: v{~(~,o)l(~,~) ~ ~}
n
( f o r the d e f i n i t i o n of ~(~,~) see section 4).
' "'" n
8.1°
I(~,a) ~ ~ , i f A is i n f i n i t e
C~,o) iff
[(~,{A-UIU e ~}) ~ ~ , i f A is f i n i t e
t
/and s i m i l a r l y for many-sorted s t r u c t u r e s ) .
B e ~ and B c C c Ak imply C e ~.
In p a r t i c u l a r , we have ( f o r k = 1)
o 1 2
(~,~)M(~,?) iff t h e r e are a map ~ and r e l a t i o n s ~ ,~ ,
1 2
,~ c ~ x 7 such t h a t (1), (2) as f o r m u l a t e d
a t the b e g i n n i n g of § 4 hold and
(3) f o r every V • Y t h e r e i s some U e ~ w i t h U 1 V
(4) f o r every U e ~ t h e r e i s some V • ? w i t h U n 2
Show t h a t t h e r e are u n i f o r m s t r u c t u r e s
( ~ , ~ 1 ) and (~,~2) with discrete
2
= ¢ but not s a t i s f y i n g the same k - s e n t e n c e s .
~1 ~2 m
To show c r e s p . d r e p l a c e set q u a n t i f i e r s i n ~ as i n d i c a t e d by
resp.
v a r i a b l e s ) and ~ i s an L - f o r m u l a .
m
Suppose T i s an L - t h e o r y such t h a t
m
T ~ VY ~ Vx(~ e x e y) and T ~ ~ VY 3 x ( x e y ^ ~ ~).
Define
58
D e f i n e the n o t i o n of an L 2 . - s e n t e n c e i n v a r i a n t f o r point-monotone s t r u c t u r e s .
Let Lpm be the set of L 2 . - f o r m u l a s c o n t a i n i n g a q u a n t i f i e r VX(t) ~(X) (resp.
3X(t) ~(X)) only if ~ is positive i n X ( r e s p . ~ i s n e g a t i v e i n X).
~(v) = 3(X1,X2) Vx x ~ X2
^ "X 2 c Z2").
a) Show:
For any (~,8) we have
generated by 86).
i
f) Let ~ be the L2-sentence
o m
{(U,~A~)I(~,6) a p r o x i m i t y s t r u c t u r e } .
§ 9 O m i t t i n g types theorem
n
where ~ = 3x 3Xo...3Xs 3Xo...3Xr i A=1 ~i (x . .Xo'
.. 'xr'Xo'''"Xs)"
But in general ~ ~ Lt, since a set variable X. may occur positively in some
]
¢i"
Note that in ¢I = "X is on partial in~ective function" the set variable X
occurs negatively,and in ~2 = "the domain of X is to whole universe" X
occurs positively. Therefore, 3X(~ 1 ^ ~2 ) is not an Lt-formula. We make
use of this fact to obtain the counterexample presented here.
C = M~ O A~ 6 B~ O S~ 6 {c ~} with
and where, for o J ] n e N, tAnl = ~o' tB2nt = ~o' and IB2n+l I = n+l
fE(a'b) = c~ otherwise,
where P(S C) denotes the power set of S~,and where U. = for odd i , and
1
where U. c S~ is a b i j e c t i o n from A. onto B. for even i .
1 1 1
63
• (x) : { ~ i ( x ) l i c ®}.
Thus
Since
(@,T) F 3X~c Vy "X~ A x B is a partial injective function
Y Y
from A into B "
Y Y
i.e. since (~,~) k X1, where ~1 i s the Lt-sentence
A f x l z 1 c X ^ fx2z 2 ¢ X ~ (x 1 = x 2 ~ z 1 = z2)) I
we have
(~',T') k X1.
Similarly
Hence
(~',~') ~ ½.
Since ( ~ ' , ~ ' ) ~ X 1 ^ X2 t h e r e i s f o r some m ¢ M~' a total injective function
from A ' to 8 ' . Since A ' i s i n f i n i t e , so i s B '
m m m m
Hence (~',~') ~ ¢~m].
('~) ~* ~ ~ iff ~* ~ ~.
I f ~* # I c x ~ ( x ) , then c c
~C. Since by i n d u c t i o n hypothesis,
~C c {a ~ AI~* ~ ~ [ o ] } = ~ ,
c
B i s contained in the a - i n t e r i o r of ~ * , i.e. ~* ~ l c x ~ ( x ) .
§ I0 (LI~) t
Since our exposition parallels that in [1o], it will be helpful if the reader
is familiar with this paper. All weak structures in this section ore supposed
to be models of bas.
]O.1 For any weak structure (@,~) with denumerable 8 u • the following are
equivalent:
(a) (~,~) ~ 3 ~ for some ~ with ~ = ~.
(b) There are a Hintikka set ~ c A(C,~) with ~ e ~, an onto function
1 2
~°:C ~ B, and relations ~ ,~ c H x T satisfying:
(i) if X(vl,...Vn) c L is atomic or the negation of an atomic formula
and c1, . . . . c n e C, then
X(c I ..... Cn) ~ ~ iff ~ ~ X[n°(Cl ) ..... ~°(Cn) ] .
(ii) for any X of the form c e U: X c ~ or ~ X ¢ ~ .
(iii) if U 1 V and c~U ~ ~, then n°(c) c V
67
( ( ~ , . . . ) , a ) ~ X[g(cl) , . . . . g(Cn),h(U1~...,h(Ur) ] .
on B). Put
o 1 1 2 2
u = g, ~ = Q o h, ~ = Q o h
i
(i.e. ~ = {(U,V) Ih(U)QiV} for i = 1,2.)
: Vx V A 3y ° V X m x V A V 3Yo'Yo A V
o c d o o U V k ~ {0,1} 6 ¢ A(C,U) e ¢ A(C, LI)
0 0 o 0 0 0 O
Vx 1 V A 3y I VXl~X 1 V A V 3YI~ Yl A V
c I dI u~ v~ ~ ~ {o,I} 6~ ~ A(C,U) e I ~ A(C,U)
c d U V k 5 ~ ...c d U V k 5 G
ooooooo nn n nn nn
" ' " n < ~ A N(Xo . . . . . Xn'Yo . . . . . Yn'Xo . . . . . Xn'Yil . . . . . Y i r ) °
First let
I n case 1, we put
C ...~
N ° n= A{~I~ e L 2 i s on a t o m i c or negated atomic f o r m u l a ,
~(c o ..... Cn,d o .... ' dn,U o, "" ",Un,Vil ''" .,V i ) ~ ® n } "
r
The c o n d i t i o n s a r e as f o l l o w s :
6 c ~ f o r some qJ such t h a t A~ e ®
n n
then ® = 6 .
n n
69
(iv) If 6 = c = c, then @ = 6 ,
n n n
n n n n
(vi) If 6n = t = t f o r some basic t end none of (iii) t ( i v ) , ( v ) i s the
case, then e = t = c f o r some c.
n
Now, for any weak model (~,T) of bas with denumeroble B u T, we have
such t h a t
B = {Onln6¢~?,C = {dnln ~ m},
{ ( a , K ) Ia ¢ B,K c T,a C K} = { ( a n , K n ) I n ~ w}
Put
i<-- n + 1 d e n o t e by s i t h e s e q u e n c e C o d o o . . k i _ i g i _ t ~ i _ l . B7 i n d u c t i o n on t h e
ordinal ~ define ~ sn as f o l l o w s :
c~
s s.
cn : A N z
0 /
l<_i_<n
s
n = Vx V A VX ~ x V A V 3YnDYn
~+1 n c d 3Yn n n U V k e {0,1}
n n n n n
A V
~snc dnUnVnk 6nGn n n
6 G
n n
S S
n = A
~n for a limit =.
~<=
Note t h a t f o r countable ~, ~ n is an (L w ~ ) t - f o r m u l a . In p a r t i c u l a r , is
an (k w w)t-sentence. We w r i t e ~ for 1 ~ and c a l l • the ~ - t h
approxzmation of ~.
(2) ~' ~ ~ ^ ~
< ~I
(3) If ~ i s any sentence in (L~lw) 2 f o r some LID L, then ~' • *
L : L 1 n L2.
A° = A
An = ~ A~ for limit n .
n+l n
0 = X 3x1'''3Xn VUI~ x1""VUn~Xn OUI,...,U n
n
where OU1,...,U n i s the formula obtained f r o m ~ ° ( r e p l a c i n g any s u b f o r -
= ~ ~ ~ for limit ~.
Show that Scott's isomorphism theorem does not generalize to Lt: there is a
denumerable structure, which cannot be characterized, within the denumerable
structures, up to homeomorphism by an ( L ~)t-sentence. (Hint: It suffices
to find o structure of the form (A,7,~) ~ithout Scott sentence, where A is
countable, T is~topalogy an A and ~ is a monotone system closed under inter-
sections. Take as (A,T) the set of rational numbers with its topology and
let u have a basis [Snl n • w} with A = Bo D B I D... , where B.1 ~ ~ is
perfect and nowhere dense in Bi_ 1 and ~B.z = @" Show that for all ~ < ~1'
there is a ~ such that (A,~,v) ~t (A,7,~) but (A,?,v) ~t (A,T,~)
-- i - .
4) Note t h a t for ~ e ((L u {R}~ ~)2' Mad (3R~) ~s a PC - c l a s s over
1 1
(L l ~ ) t , i f in the d e f i n i t i o n of PC 1- c l a s s we a l l o w a d d i t i o n a l universes
(compare 4 . 5 ) . In p a r t i c u l a r , i f ~ has only i n f i n i t e models, then
Modi(~E~) = Mod(~$~) for some ((L u {5})~1 ~ s e n t e n c e ~.
74
Finally, we remark that by the above methods, using the appropriate game sen-
tences, i t is possible to generalize the preservation theorems of section 5
to (L w ~)t" Let us sketch the r e s u l t for sentences preserved under extensions.
Call alsentence ~ e (L w w) t in negation normal form e x i s t e n t i a l , i f i t does
1
not contain any u n i v e r s a l l y q u a n t i f i e d i n d i v i d u a l v a r i a b l e .
Suppose ~ is a ((L u {~]~ ) t - s e n t e n c e . Then for any weak model (@,T) of ba_~s
t
with denumerable B u T, we have
§ 4 For 4.19 see also Garavaglia [8] and P. Bankston [ 1 ] . The proof of
4.19 is e s s e n t i a l l y from [ 9 ] . - 4.20 ( f o r L = ~) was proved by McKee
[13].
A number of our theorems are also proved in [ 9 ] . Note that some of them were
announced in [17].
The main part of the r e s u l t s not c r e d i t e d to other authors in the above are
due to the second author. The main part of r e s u l t s due to the f i r s t author
are in §§ 4,6,10.
References
A.Separatlonaxigms.
1.2 Exercise. a) The class of spaces of the form (B,~<) can be axiomatized
by an Lt-sentence.
b) The L -theory of a l l monotone structures is h e r e d i t a r i l y undecidable
m
(L = ~).
theory of T2~spaces:
U(x) : x : y ^ e(x,y))
1.5 Lemma. a) There i s a T3-space ( A ' , a ' ) with two decreasing sequences
O. n 9. ~ ~ , U A V. = ~ and fq U. = ~ 9. : ~ .
b) There is a T2-space (C,T) with exactly one pair of distinct points a,b,
which are not separable by closed neighborhoods.
Proof. a): Take for A' the Euclidean plane R 2 with its natural topology and
set
U.z = { ( x ' y ) I Y > O,x> i}, Vi = { ( x , y ) l y < O , x > i].
V. c 0 f o r same i } .
1
we have
(B,R) ~ ( u ( A ' ~ ) , e ( A ' ~ ) ) .
~o B ; ~l ~ if k is a limit ordinal;
Finally set ~ = LJ
3) ~--Z-~
8 =~ u~ .
Thus
T 1 = 1-separated, T2 = 2-separated, T2, 5 = 3-sepozated.
Proof. Define ~ ° ( X , x ) = x • X,
The main r e s u l t of t h i s p a r t i s
82
p = P(Xl, .... Xk,V I ..... Vl)- is a finite set of ~xpressions of the form
x • Xn ,x ~ Xn or Xn ~ Xm =~.
r ~ r ~ ~
S S r S
Xn by a resp. A~ . We w r i t e ~ ~ P ( a l , . . . , a k , i l , . . . , i l ) .
S l
S S
i s generic, i f f o r every system ~ which extends ~, every c o n d i t i o n
p(x 1 . . . . . Xk,~ 1 . . . . . V l ) , a l l a 1 . . . . . ak e A, i l , . . . . i ! e I ( ~ k, ~ < 1) the
f o l l o w i n g holds: I f there are b k + l , . . . , b k e B, and il+l,...,i 1 • J s.t.
~ p(a 1 . . . . ,bk, i l , . . . . i l ) , the~ there are a k + l , . . . , a k • A, and
if+ I ..... i I • I s.t. ~ ~ p(a I .... ,ak,i1,..?,il).
e) (A,~) is w-separated.
2) On n
1 1
3) r~ 0 n+2 C~ 9 n+2
i e~ ~ = Jew L =,~
Then a E A~ n . . . n A~
11 Zk
i
A~l , otherwise .
proof: We d e f i n e an e x t e n s i o n @ of ~/ by
B : A O {b,b,c} , a = I 6 {i,~},
and for i ~ I
sT = AT u cT
1 1 1
=J[b] if m _< n
Bm.
1
k{b,c] if m > n ,
f
:J{_b} if m < n
Bm
J- L{b,c] if m> n .
8s
We have b ~ B~ B~ B;, B° B~ B~
Zl $k - !I ~ "'" &k 1
Bn+1. Bn+I Bn+I n Bn+I n . . ~ _n+l Bn n Bn :#
c • 11 n ... n Zk ~ ] ! 1 " ~ ' i ] '
U(x) = 3 y ( ~ x = y A @ ( x , y ) )
G ( x , y ) : " x and y are not separable by (n+l)-neighborhoods" (see 1 . 8 ) .
x i : x . ), ¢(x i) .
We t r e a t onZy a t y p i c a l example:
n=6
We set
i
go
aA ~ a B iff A D B
where UX(%) is
(t ~ S A VX(X • X A x~ s ~ ×~ t)) .
Proof. The weak second order theory of w-trees with unary relations is deci-
dable [17].
Proof. We interprete the theory of graphs without isolated points over the
theory in discussion. The formulas are
U(x) = 3y(~ y = x ^ e ( x , y ) ) ,
...............
iiilii:
i
AC(o) a
={o}
z ]
iff } and b• a/u.
i
t~ a v (a < t A ( V x ( x ~ t A a< x) ~ ~ A x ) ) ,
and (a,b) e US by
~x(~ x e S A x e Xa ^ x e Xb),
2
there i s f o r every L2-sentence ~ an L~-sentence ~ s.t.
Whence
(A,V(T,<,A)) ~ ~ iff ((T,~,A),Pb(T)) ~ ~.
f o r a l l L2-sentences ~ .
m
Let ~ = n U
• w ~ n . - The n-type of a e A, t n ( a ) , i s defined i n d u c t i v e l y by
t
O
(a) = . ,
({*)]
/
I
\/
:Eo
96
b) The ~n' s are not disioint. But if ~ ~ %m ~ ~n and m < n, then we have
= (~)m (see c). Thus, "a is of type ~" is unambiguously defined.
c) The whole picture is: Let ~ e ~ and assume that
m
(8) = ~ iff @: ~ .
m
Put m.(%) = v °
0
= Vo and f o r ~ e ~n+l '
=v
~n+l"'lVo)" = B ~e ~ V X ~ V o 3Vl(V 1 e X A ~ V1 o ^ mB
n( ))A
vl
A ",c~
=vx~% ~Vl(V 1 ~ x A ~ v 1 =v o
^mn(v
~ 1
)).
8 e~ n
Whence
97
For the proof of the other direction we need the following lemma.
{(A,B),(~,~)}, {(A,B)~,~)}) • I .
(A,Ol,...,am)Ro(B, bl, .... bm) iff A,B ore (possibly empty) T3-spaces
with clopen bases, and a i # ai, b i % b i for i # i,
and KU
n_lln + m, ~n _-Ul l n + m resp. KV B-V + m are completely
n_lln + m, Kn_lln
I
f
~, if ~ ~ tn(ai)
KUn-1(~) = 1, if ~ = %-1(°i ) ~ %(°i )
O, otherwise .
Now we complete the proof of 1.34 as follows. Suppose KA = KB. By 1.17 there
are T~-spaces A' and B' wlth clopen bases s.t. A' t A and B' t B.
Since- KA' = KB', we have A'R B' for all n <~. Thus, by 1.35, A' = t B',
n
and by 1.4.13 A' t B'.
A.+I
q
= O{A~,o I a ~ ~nP and p ~q f o r some p } .
T = p e~J
P An
p has an ~-tree s~-~ucture ~ ( b u t i s p o s s i b l y uncountable) d e f i n e d b~
n E LU
for a • A n: N(a) = immedla%e successors of a = ~J. An e
p p ~ q q,a
We set ( A , ~ ) = (T,T<) and A = U An.
_ p new p
The next iemma shows t h a t the elementary type e f ( A , ~ ) i s de%ermined by
(P,<,K).
1.39 D e f i n i t i o n . Let ~ be a t r a n s i t i v e relation on P. D e f i n e Sn:P ~ %n by
101
Sometimes we w r i t e Sn(P,q) for Sn(P). Note %hat the remarks 1.32 hold
f o r s n instead of t n ; e.g. if m~ n then Sm(p) = (Sn(P))m" And
Sn(P,p) : sn (~qlq ~P,p ~q},P).
1.40 Lemma. Let (A,~) be a (P,~K)-spoce with the good partition (Ap)p E P"
Then
a) in(a)__ = Sn(p)__ for p ~ P and a e A @
P
b) ~n(~) = Sn(P)E= ~K(P) for ~ ~ %n "
v = b ~ ~nlh(~)* O}
s.t. f o r a l l ~ ~ v , ~ : { ( ~ ) n _ 1 1 B ~ v , ~ < d , ond non-minimal im-
plies h(e) = =%
Using t h i s we obtain by i n d u c t i o n
K(~) h(~).
~(~) = Sn(~)~= ~ =
On the o t h e r hand, l e t (A,~) be a T3-space , and ~n = h . We denote by A the
c~
set of points of type ~. We d e f i n e the b i n a r y r e l a t i o n k- on %' by
k- 8 iff A -~ a f o r some a. e A .
B
102
C l a i m 2. ~ ~ 8 implies ~ c ~.
Denote by • t h e transitive c l o s u r e o f ~ on W.
(8)n_] e ~k c . . . c ~1 c ~ .
s.t. f o r a l l ~ e Wi,
103
q ~p iff Ap ~ Aq,
Note that under the hypothesis and notations of the second part of the proof,
t
i f (B,T) ~ (A,~) the sets B ={bltn(b ) = ~} for ~ • P yield o good parti-
tion of (B,T). We hove
The followlng exercise shows that in the above proof i t is enough to choose
n~ 21{t(a)la e A}I - I .
T = "T3 + /) W K ~) = m +
e e
K"" (~)
U n+l
0,,.
~ ~ iff A ~ A .
Sn(V,~) : tnCO) : ~.
V = {Sn(P) I P e P*}
Sn(P*,-)- P* -~ ~/
1.50 Exercises. a) Let (P,<) and (Q,<) be normal with smallest element p
resp. q. Then Sn(P) = Sn(q) for some n > 21PI impZies (P,~)~ (Q,~).
b) Pn = {O,l . . . . ,n} wlth ~'n = {(0,0)} u { ( i , i ) l O _ < i < i ~ n} is normal. Put
a n = S2n(Pn,O). Show that f o r every set Fc w there is a T3-space A with
108
•2n(en) 0 iff n E F.
+ U e o and ~ ~ V e ~ imply ~ • Un V.
Examples of normal
and dense (P,<) are
109
2) For all i and every neighborhood U' of a. there are clopen sets U and V
l
s.%.
, if p : q and q 4~ p.
{ p , i f ~(q) > ]
Q1 :
p\[q} , otherwise .
IK(p) , if p,q
K](p) = ~K(p) - 1, if p = q and q e QI"
= K*(p) .
snCP)Z:
cal.
IV. Let (P,<) be finlte, normal, and not dense. Then no (P,<)-space i s ~ -
O
categorical.
1~2
Proof: Let (A,~) be the (P,~K)-space constructed in the proof of 1.38. Let
T,< and A (for p e P) be as in that proof. Choose p,q e P, p Kq, s.t.
P
there is no r with p < r and r ~q. Then, f o r any a e A ,
P
a~ b and b e A implies b e N(a).
q
Prove:
1) The analogues of 1.44 and 1.49 f o r l o c a l f i n i t e n e s s .
VX VY 3Z Zc X n y
VX OeX
vx 3Y y - y c ~
2.5 Examples. a) A group with the indiscrete (= trivial) resp. discrete to-
pology is locally pure resp. algebraically complete.
b) (Z,vz) , where v Z has the basis [n Zln > 0} is locally pure (but the nZ
are not pure in Z).
c)The direct sum of locally pure resp. algebraically complete groups (with the
t o p o l o g y induced by the product topology) is locally pure resp. alg. complete.
is the o r d e r - t o p o l o g y .
(Note t h a t (Z,v Z) i s hausdorff, locally pure and t o r s i o n f r e e , but vZ i s not
induced by an o r d e r i n g ) .
2.8 Theorem. The theory of locally pure and torsionfree groups is decidable.
On the other hand the theory of torsionfree groups with the indiscrete topo-
logy (which essentially is the L -theory of torsionfree groups) is decidable
~w
[~]
From these two facts, we obtain the decidability of the theory of locally
pure and torsionfree groups using 2.6 and the results on direct sums of
i§6.
117
2.10 Exercise. Prove the completeness of the axiom system of 2.9 by the
f o l l o w i n g q u a n t i f i e r e l i m i n a t i o n method: Show by i n d u c t i o n on ~, t h a t every
km-formula ~ ( X l , . . . , X n , X 1 , . . . , X m) i s " e q u i v a l e n t " ' t o a q u a n t i f i e r f r e e formu.
lo~ ~(x 1. . . . . X n , X l , . . . , X m) in the sense t h a t f o r a l l models (A,v) of our
axioms, any a l , . . . , a n ~ A and any d i v i s i b l e subgroups A I , . . . , A m e v with
A ~A 1 ~...~Am, we have
(A,~) ~ ( ~ ~) [a I . . . . . an,A1,...,Am]
(use m l - s a t u r a t e d ( A , v ) ) .
b ¢nC implies (b + U) ~ nC = ~ .
Then the direct sum U + P is pure in C. Let ~ be the set of a l l pure sub-
groups of C. We just have proved:
Now l e t ( C * , ? * , n * ) be an ~ l - s a t u r a t e d t h r e e - s o r t e d s t r u c t u r e w i t h
( C * , ? * , ~ * ) ~L2 ( C , ? , ~ ) . A l l groups i n y* u ~* are pure. ( * ) holds i n
(C*,y*,~*), i f we replace C,?,~ by C*,y*,~*. But for P ~ ~* and U ~ ?*,
P + U i s again an Wl-saturated group, and hence a direct factor of C * , i f
P + U ~ ~*. Thus, i f Q denotes the set of s l l subgroups of C*, we have:
§ 3 Topological fields
This s e c t i o n c o n s i s t s of t h r e e p o r t s :
A. C h a r a c t e r i z a t i o n of t o p o l o g i c a l f i e l d s .
Let K ( = ( K , + , - , . , 0 , 1 ) ) be a f i e l d and T a t o p o l o g y on K.
-1
x ~ x is continuous. T h i s means t h a t in addition to (0) - (5) the f o l l o w i n g
axiom (6) h o l d s :
(6) YX ~Y (1 + y ) - I c t + X.
(7) ~X VY 3Z Z • X c y .
- 1 ~ J, J - J c J, g . J c J, F • J c J (and (t + j ) - I c 1 + J i n the
case o f a f i e l d topology).
122
Now suppose that v is locally bounded. We start the above construction with o
bounded U e v. Then J ¢ v R is bounded (w.r.t.~). Let W ~ ~. There is V c v
0
with VJ c W. Choose a c V\{O]. T h e n ~ J c W; this shows that W e ~R and v R =
Let A be a v a l u a t i o n r i n g of K. M = { x ] x -1 ~ A] i s the s e t o f n o n - u n i t s of
A. C l e a r l y , AM c M. Suppose x , y ~ M and e.g. xy -1 ~ A. Then x + y ~ M
would i m p l y y - l = (x + y ) - ] ( 1 + xy - 1 ) ~ A. We c o n c l u d e t h a t A i s a l o c a l ring
w i t h maximal i d e a l M. T h e r e f o r e v A i s a f i e l d topology.
v(x) : ® iff x : O
v(xy) : v(x) + v(y) (where g + ~ : = + g = ~ + ~ : =)
v(x + y) % max{v(x),v(y)] (where g < =) .
(8) VX 3Y Vx Vy (x ~ X A y ~ X ~ xy ~ Y ) .
shows t h a t v A is a V-topology.
of ~ s . t .
1 ~ M, M + H c H, H - M c H, x,y ~ M = xy ~ H.
(c) Prove 3.6 using 3.3 and the f a c t t h a t every subring of K, which i s not
a f i e l d , i s contained in a v a l u a t i o n r i n g of K.
b - a 1 ¢ V1,...,b - a n c Vn
VX1VX2...VX Vxl...Vx 3y (y - x] e X l ^ . . . ^ y - x ¢ X ).
n n n n
n n
i~1 ( x - a i ) - i ~ l (x-bi) Cv[x] impliesai-b~(i)=u,1~i~n,
f o r o permutationnr o f 1 , . . . , n .
Proof. Taking as X the set (-I, I) we see that an order topology satisfies (91
Conversely, assume that ~ is a V-topology and that (9) holds for every n.
Choose (F,p) Lm-equivalent to (K,v) with ~ closed under countable intersec-
tions. For every n there is a U ¢ p s.t. -I + U does not contain a sum
n n
of n squares. By 3.7 (a) there is a valuation ring A with maximal ideal M
s.t. p = VA and M c i ~ U.
Set Q = {i ~
= 1 (I + m')x'21
s. z n ~ N, mi ~ M, x i c K]. Then 1 + M c Q, K2 c Q
and
a) Q + Q c Q, Q • Q c Q
b) -1 ~ Q.
x.
To see b), suppose -1 = i ~= 1 (1 + m i ) x i 2" We can assume t h a t _~z ¢ A f o r
xI
i = 1,...,n. Then
Xl + i = 2 x 1" = -1 - i = l m i ( ¢ - M,
which c o n t r a d i c t s the c h o i c e o f M.
(10) (K,v) # 3X Vx x2 ¢ - I + X.
' m
((K,v),(V,~))
(more p r e c i s e l y ( ( ( K , + , - , - , O , 1 ) , v ) , ( ( V , + , - , O , ) , ~ ) , o ) ) where the f i r s t struc-
ture is a topological field, the second s t r u c t u r e i s a hausdorff t o p o l o g i c a l
o b e l i a n group, V i s a v e c t o r space over K, and where the s c a l a r m u l t i p l i c a -
t i o n o:K x V ~ V i s continuous.v and ~ are the neighborhood f i l t e r s of the
corresponding zero elements.
(4) 3X VY 3A A X c y .
properties:
l o c a l l y bounded r e a l v e c t o r spaces,
l o c a l l y bounded r e a l v e c t o r spaces with a d i s t i n g u i s h e d subspace,
Banach spaces with l i n e a r mappings,
dual p a i r s of normal spaces.
A. L o c a l l y bounded r e a l v e c t o r spaces.
4.1 Theorem. a) Every 1ocally bounded real vector space is a model of TR-
b) Two models of TR are Lm-equivalent i f f they have the same dimension.
Proof of 4.1 a~: Let (V,~) be a l o c a l l y bounded real vector space. We have
to show that (5) holds. In real vector spaces, f i n i t e dimensional subspaces
are closed. Thus we are don% i f for every UI e ~ we can exhibit an U2 e
s.t.
f o r any closed subspace H c V, and any v ~ H there i s
u e U1 ~ (H + ( v ) ) s.t. (u + U2) ~ H = ~ .
Given U] we choose a bounded open U2 with - 2U2 c U1.
Put b = sup{~t(-~U 2) ~ (v + H) = ~ } . Then, we have 0 < b (since 0 ~ v + H,
v + H i s closed and U2 i s bounded), b < = (by (1)) and (-bU 2) n (v + H):
(since U2 i s open). There i s w e (-2bU 2) n (v + H). Set u = b - l w . Then
u ( -2U 2 c U1 and (u + U2) n H = ~ (since (-bU 2) ~ (w + H) = ~).
Ba : [ v e v l l l v t l ~ a ] (where ilvlI = V ~ - ~ 1
( K i , V i , ( , )) z (K,V~,( , )) i = 1,2 .
(KI,VI,( , ) ~ (K2,V2,~ , ) ) ,
V=FeF ~
where F~ : [ x I ( x , y ) = 0 f o r a l l y e F}.
To show (5) suppose that Ul = Ba is given. Put U2 = { x l l l x l l < a}. Then, for
v ~ F we only have to choose u e F~ h (F + <v)) of lenghth a t o get
u e U1 and (u + U2) n F = ~ .
132
Let V l , V 2 , . o.
be a basis of V2. Set F i =~Vl, ""
.,vi>. We choose u.1 e IJ2nF i
s.t. (u i + D2) n Fi_ 1 = ~. Then U l , U 2 , . . . is a basis of V2, and we have
f o r any a l , . . . , a n e K.
BW = i ~ IW"
Hint: a), b) and one direction of c) can be proved like 4.1 a), b) and the
corresponding direction of 4.5. It remains to show that the structures
described in (c) satisfy (5):
In t h i s p a r t we look a t s t r u c t u r e s
((K,v),((V,H),#))
TR ,"P i s a subspace"
where n = 0,1 . . . . ).
B21 c f(B~)
4.11 Exercise. Let TVC be the theory T C where the axioms "K i s real closed
with i t s order topology" are replaced by "K is V - t o p o l o g i c a l " . Show
a) Every l o c a l l y bounded vector space over a complete f i e l d with on abso-
lute value together with a closed subspace is a model of TVC"
b) Two models ( ( K . , v . ) , ( ( V . , H . ) , ~ . ) ) of T,,~ are Lm-equivalent i f f K1 ~ K2,
I i V i i i v v~
Theorem 4.12 (as 4.1b) f o l l o w s from 4.5 (and 4.6) and the f o l l o w i n g lemma.
Pl,P2,--- , Ul,U2,... • V1
ql,q2,.. , , Vl,V2,.. . e V2
Pl + HI'P2 + H I ' " " and ql + H2'q2 + H2' . . . are bases of V1 /H 1 resp.
This can be done using the following fact which is easy to prove:
Let T5 be the theory obtained from T R adding the axiom "P is a subspace"
and, for n ¢ =, the L'-sentence
m
138
4.15 Theorem. a) Every locally bounded real vector space with a disting-
uished subspace is a model of TS.
dim H1 = dim H2, dim F]I/HI = dim R2/H 2 and dim V1/H 1 = dim V2/B2 .
Since dim H3 = dim H4, dim R3/H 3 = dim R4/H4 and H) is dense in F]~, we have
by 4.14,
Hence
((K~),((V3,H3),#3)) = ((K,v),((V4,H4),#4)) .
(i) ( ( K , v ) , ( ( V , k e z ( f ) ) , # ) # TC
(ii) ((K,v),((V+,rg(f)),#+)) # TC
Proof. a) By the open mapping theorem any such map (as a map to i t s range)
is open. Since the kernel is closed, the assertion follows from 4.9 a).
b) One d i r e c t i o n is c l e a r . For the other d i r e c t i o n we argue as follows:
((Ko,Vo)~Vo,~o),(V~,#~),fo) ,
where p and ~+ are induced by euclidean forms ( , ) and ( , )+, and where
0 0
k e r ( f ) and im(f ) have orthogonal complements G and G+.
0 0
Being open and continuous f y i e l d s a K-isomorphism of the t o p o l o g i c a l vector
spaces G and r g ( f o ) . Whence, i f ( ' )+o is the orthogonal sum of ( , )+IG +
and the image of ( , ) l G , t h e n ( )+ again induces ~+
' 0 O*
But now a denumerable s t r u c t u r e
where
(V,( , )) and (V+,( , )+) ore euclidean vector spaces over K,
f: V ~ V + is K-linear,
V = G @ ker(f), V + = G + • re(f) (orthogonal direct sum)
fiG preserves ( , ) ,
XI,X2,... as v a r i a b l e s f o r elements of
Let TDp be an L*-m theory s . t . the models of TDp are ~ust the s t r u c t u r e s of
the form
((K,v),(V,~),(V+,~+),[,]) ,
Proof. a) Let (v, llII) be a real harmed vector space. To prove (8), suppose
that w . l . o . g .
B = {xlllxll -.< a} and B' = [ y l l l y l l ' < a} are given f o r x resp. Y.
a 22 a
O O
Take as A the set ( - ~ , ~ ) . We show that i t s a t i s f i e s (8).Let Un+1 ~ ~ . . . . ,Un~
be given. Choose u e ( u l , . . . , U n + l ~ by Riesz' lemm0 s . t . u e Ba and
with g(u 1) . . . . . g(u n) = O, g(u) = 1 has a norm-< a" 2 The Hahn-Banach theorem
2
y i e l d s v e V' s . t . [ u l , v ] . . . . . [Un,V ] = O, r u , v ] = 1 and Ilvll <- We have
22 a
(-~,~)v
a a = B'=.
For the proof of (9) we proceed s i m i l a r l y . Let X,Y and A be as above and
suppose v l , . . . . Yn+l e V',Vn+ 1 ~ ~vl . . . . . Vn ~ are given. By Riesz' lemma we
get v e ~ v l , . . . , V n ~ s.t. v • Ba and (v + B2 ) n (V I , . . . , v n ~ = O. Now
H e l l y ' s theorem states: ~a
142
with
Ibla1+...+bn+]an+11 ~ bNb1~1+...+bn+1~n+li i' for all bl,...,bn+ I ~ R,
and ~n+l = v .
I I
It is enough to prove (8). Take as X,Y and A the sets 8a,B ~ resp. (- a2, a2).
Given u I ..... Un+ ] ¢ V, Un+ ] ~ <u I..... Un> choose u ' (u I..... Un+1> ortho-
gonal to (u l , . . . , u n > and of l e n g t h a. Suppose u = Za.5..z
1 Set
v = i 2(Zai~i). Then [ u l , v ] . . . . . [Un,V] = O, [u,v] = I, llvll + = ~ and
a
(_ a2, a 2 ) v E 8+.
a
and
for all Vn+ 1 ~<v 1 . . . . . Vn} t h e r e are v eU ~ n <v 1. . . . . V n + l ) and
1
Pick a • WI\{O } and choose a v a l u a t i o n ring A c K s.t. ~ = VA, ~ • A and
W c A. Let D ( r e s p . D+) be the A-module generated by U ( r e s p . U+). Since
and m+ are closed under c o u n t a b l e i n t e r s e c t i o n s , D and D+ are bounded and we
have
[u,v] e A for all u • D, v • D+,
W VX 3A ¥y((Vx ~ X [ x , y ] ~ A) ~ y E Y)
3X YA 3Y Vy(y e y ~ Vx ¢ X [ x , y ] ~ A)
f o i i o w from TDp.
[3] N. Bourbaki: A19@bre (Modules sur les anneaux principaux), Paris (1964).
[7] P.C. Eklof, E.R. Fischer: The elementary theory of abelian groups,
Annals math. logic 4 (1972), pp. 115-171.
[26] J.P. Thomas: Associted regular spaces, Canadian Journal 20, (1968),
pp. 1087-1092.
- , T2, 5 80
- , T3 78,88
- , t o p o l o g i c a l 77
- , u n i f o r m 52, 92
structure, denumerable 8
- , monotone 52
- , p o i n t - m o n o t o n e 57
- , p r o x i m i t y 59, 88
- , s a t u r a t e d 17,86
- , T 3 with u n a r y r e l a t i o n s 103
- , topological 1,11
- , uniform 52,88,92
- , weak 1
sum, d i r e c t 37
- , t o p o l o g i c a l 32
Svenonius theorem 38,45,46
term, basic 3
term model 3
t o p o l o g y , f i e l d t20
- , o r d e r t26
V - t o p o l o g y 123
- , v a l u a t i o n 123
t o p o l o g i c a l model t h e o r y 7
u>-tree 89
two c a r d i n a l theorem 9
type, f i n i t e 103
n - t y p e 95
~ - t y p e 103
undecidable, h e r i d i t a r i l y 79
Index of symbols
L2 1 L- 52
m
(~i, a) 1 L (= L1m) 52
m
2
g~ 81
~,5 5
~ 95
kt 5 n
(~'~l'''"an) 26
n(~i,~ i) 32
I
g(~i,ei) 32
I
~(.,a) 4o
w 4O
L(I) 48
Itx~ 48
(~,~) 52
52
Lk2 52
Errata
40 5 ...~ = ~ . . . . . . a =
57 12 ...¥X 3y V x ( m Xxy . . . . . . VX 3y V x ( m U x y . . .
60 l a s t (~,6) k ~P . . . (~,~) ~ ~P . . .
90 3 ...successors of a . . . . successors of b.
91 11 ...Ux(t,s) . . . . . . UX(t)...
91 12 ...Ux(t,s) . . . . . . Ux(t)...
143 26 ...u e D n (u 1 . . . . . U n , ~ ~. . . . . . u e D n
{ul,..., Un, U~...
50 20 ...each satisfiable denumerable ... each d e n u m e r a b l e
The reference for the work of Heindorf (compare "Historical remarks" p.145)
is :
Heindorf, L.: Entscheidungsprobleme topologischer RUume, Humboldt Universit~t
Berlin (1979).