!"#$ %&#!

'( )* + ,'+- & !/ 0+%&#0+%) +$ $!1) %&+% &+* /!2-" +33$) +%)!-*
)- *#4#'+$ +'#+* !/ +$1#,'+ +-" 1#!0#%'(5 6% 3'!4)"#* + 2-)/()-1 /'+0#7!'8 /!'
%&# 2-"#'*%+-")-1 !/ !$" '#*2$%* +-" 0!'# '# #-%$( &+* $#" %! *)1-)9 +-% -#7
'#*2$%*: *2 & +* + 3'!!/ !/ %&# !'"#$$;<+-1 !-=# %2'# /!' /2- %)!- 9#$"* )3!*)%)4# &+'+ %#')*%) 5 >#'&+3* *2'3')*)-1$(: )% )* *!0#%)0#* %&# 0!*% +,*%'+ %
+*3# %* !/ 0!"#$ %&#!'( %&+% +'# '#$#4+-% %! %&#*# +33$) +%)!-*5
?&)* ,!!8 1)4#* %&# -# #**+'( ,+ 81'!2-" /!' 2-"#'*%+-")-1 ,!%& %&#
0!"#$ %&#!'( +-" %&# 0+%&#0+%) * ,#&)-" %&# +33$) +%)!-*5 @)0#" +% 1'+"2A
+%# *%2"#-%* +-" '#*#+' &#'*: )% )* 2-)B2# )- %&+% )% !-%+)-* *2'4#(* ,( $#+")-1
#C3#'%* !4#')-1 %&# 7&!$# *3# %'20 !/ !-%#03!'+'( 0!"#$ %&#!'( D*%+,)$)%(:
*)03$) )%(: !A0)-)0+$)%( +-" 4+')+%)!-*E: +-" )-%'!"2 )-1 +-" ")* 2**)-1 %&#
")4#'*# +'#+* !/ 1#!0#%'( D+$1#,'+) : ")!3&+-%)-#: '#+$ +-+$(%) : A+") +-"
')1)"E %! 7&) & %&# 0!"#$ %&#!'( )* +33$)#"5
?&# ,!!8 ,#1)-* 7)%& +- )-%'!"2 %)!- %! 0!"#$ %&#!'( ,( F+4)" +'8#'5
6% %&#- ,'!+"#-* )-%! %&'## !03!-#-%*G 32'# 0!"#$ %&#!'( DH'+"" I+'%:
F21+$" + 3&#'*!-E: 1#!0#%'( DH+''( +J2': K" H)#'*%!-# +-" >)#''# )$A
0+-: L+- F#-#/E: +-" %&# 0!"#$ %&#!'( !/ 9#$"* D +'8#': <!2 4+- "#- F')#*:
M!N# O&+%J)"+8)*E5

!"#$%!"& !( ) &$* $+ ,$+$!- # .*+"&"/"$

0/1(& !"&2*+
!

23$( 4#$2-56 7(8$1-!6 !*3 9$2%$"-5

!"#$%!"& !( ) &$* $+ ,$+$!- # .*+"&"/"$

0/1(& !"&2*+
!"# $
!"# 2
!"# <

!""# $%# &'("%)" +, %&'()&(!&' )&* +!,-./)&01!"*'- ." /%# "#010/%

2'"!% 3"#01/!4, 3450&)- !& 6!&"0&4)- 7)-(0)" 8094-4&(0)" :;,)(0!&'
5"6/7.+8- 9$%#"(.1$:- $%# ;0%<"! 3"#01/!.4, 4-(4= >?4-)(!-' 0&

/)(@45)(0 ' )&* 7@B'0 '

=$ 3"#01/!4, %&D&0(4 8054&'0!&)" E-!,?' F0(@ G??"0 )(0!&'
>($ +$#$!, .I@4!-B 1!- >?4-)(!- G"J4K-)'- ." /%# "#010/%
9//!" 3"#01/!4, E-!,? M4?-4'4&()(0!&'N :-J!*0 I@4!-BN >?4-)(!G"J4K-)'N )&* /)(@45)(0 )" 7@B'0 '
!"# O
2'/!0% $%# 9$?#$ 3"#01/!.4, P)Q4 /!(0!&R I@4!-BN /!*4""0&JN )&*
S!5?,()(0!&
!"# T
@"!.1"% 3"#01/!4, :'')B' 0& E-!,? I@4!-B
!"# U
9//!" $%# ; '/ '"1, E"!K)" G&)"B'0' !& +!"0)(4* 3?) 4'
!"# $VW$$ A!$.0%- B$!("- @"'!0%<- =!$- $%# 9$!#"% 3"#01/!.4, X!"!5!-?@0
+,& (0!&' )&* /!*,"0 %N %%
!"# $2W$< C0- D"("10"!- $%# ;"!!0% 3"#01/!.4, 6!&"0&4)- 809,'0!& :;,)(0!&' )&*
I@40- :;,0"0K-0,5 3()(4' %N %%
!"# $C
@//#:$%- #" ($ E$!6"- $%# F/%"., S!=4(4- E-)?@' )&* I!F4-' !1 G"J4K-)'
!"# $H
E/ '.1"!- EG%"+"- $%# ;$((8 3"#01/!.4, S!55,()(0Q4 G"J4K-)
!"# $L
H'$!$- I0)"1- $%# ;"!!" 3"#01/!.4, E)"!0' E-!,?' !Q4!"# $O
2/% G.- 0%%- $%# E/J:$% 3"#01/!.4, E4!54(-0 G&)"B'0' )&* S!5?,(4E-)?@0 '
!"# $T
>!8$%1- 2'"!%- @$!#%"!- @/(#. ':0#1- $%# @!01'., :=(4-0!- 8094-4&(0)"
3B'(45'
!"# $U
L(6"!0% 3"#01/!4, G-K!-4)" E-!,? I@4!-B
!"# 2V
A$M/!# $%# N"0%.1"0% 3"#01/!.4, 3B5?"4 (0 E4!54(-BN E-!,?!0*'N )&*
%&(4J-)K"4 3B'(45'
!"# 2$
9/. '/O$+0. 3"#01/!4, Y!J0 1-!5 S!5?,(4- 3 04& 4
!"# 22
I$10G 3"#01/!4, I@4 E4!54(-B !1 X)50"(!&0)& 3B'(45'
!"# 2<
>$G:.($< $%# 90(("! 3"#01/!.4, G"J!-0(@5' )&* S")''0D )(0!& 0&
S!5K0&)(!-0)" E-!,? I@4!-B
!"# 2C
9/%1</:"!8 $%# ;:$(( 3"#01/!.4, 6!& !55,()(0Q4 M0&J'
!"# 2H
L+)G(G1 $%# =0%<, I!?!"!JB !1 M4)" G"J4K-)0 34('
!"# 2L
FG#$'- FG.1- $%# N//#0% 3"#01/!.4, 34( I@4!-B !1 (@4 S!&(0&,,5
!"# 2O
2$!(../%- 2/'"%- E.0$%<- $%# F/%". 3"#01/!.4, G"J4K-)0 I!?!"!JB )&* %('
G??"0 )(0!&'
!"# 2T
2(":"%. $%# =/(($! 3"#01/!.4, S,--4&( I!?0 ' 0& S!5?"4= G"J4K-)0
E4!54(-B
!"# 2U
C/7$+/7.+0 3"#01/!4, E)54' !1 6! S@)& 4
!"# <V
@!/O" $%# D"1"!."% 3"#01/!.4, S!5?)-0'!& E4!54(-B
!"# <$
5"O8 3"#01/!4, +")Q!-' !1 E4!54(-B
!"# <2
2" 0( $%# 2'"!% 3"#01/!.4, I0J@( )&* I),( 3,K5)&01!"*'
!"# <<
LP("!- 9 2$!1'8- $%# ;$!$./% 3"#01/!.4, X!"!5!-?@0 3?) 4'
!"# <C
>$(( $%# 90(:$% 3"#01/!.4, S!&Q4= E4!54(-0 G&)"B'0'
!"# <H
5"O8 3"#01/!4, I@4 :0J@(1!"* P)B
!"# <L
@$O/.1/- =!$%1M- $%# 9 2$((G: 3"#01/!.4, S!&(45?!-)-B %'',4' 0&
/)(@45)(0 ' :*, )(0!&
!"# <O
; '%"0#"! $%# ;0G 3"#01/!.4, 34Q4-)" S!5?"4= )-0)K"4'
!"# <T
>0(("!$- >?Q/!%"!- @!""%- ;0:0/%- $%# ;1$%("8 3"#01/!.4, 64F 74-'?4 (0Q4'
0& E4!54(-0 S!5K0&)(!-0 '
!"# C
!"# H
!"# L

!"#$%& '() *+, -(./ *0% *1*2"*3"% 40!$ 5602+7%08 %0"*7

!"#$ %&#!'() *$+#,'-)

-." /#!0#1'(
!"#$! %&

!"#$#! %&'(!))
!"# $%!&& $!""'('

*+&+$ ,"))&-

)*+,'%&+-# !. /""+*!+&
0- )%10*02$30450+(*

./&#)!' 01!"+/2#+
60&&0% $!""'('

!"#$#! %&'(!))
%1)2 3#1'' 31))!4!
!8&#+-!0+ 19 *&+,!-&+" '
=1# !'+!#> *? ;:@:;
F0"+!$ /+&+!'

*&+,!-&+" &) / "!0 !'

5!'!&# , 60'+"+7+!
:;;; 3!0+!00"&) #"<!
A!#(!)!2> 3? BCDE;
F0"+!$ /+&+!'

?0&0$ G"))&2
F0"<!#'"+2 19 6))"01"'
!8&#+-!0+ 19 *&+,!-&+" '
:C;B =I J#!!0 /+I
F#K&0&> 6H @:L;:
F0"+!$ /+&+!'

/")<"1 H!<2

3,&#)!' /+!"0,1#0
Q&''&# 31))!4!
!8&#+-!0+ 19 *&+,!-&+" '
G174,(!!8'"!> RS :E@;C
F0"+!$ /+&+!'

!"#!$ %&#'("

) *+ %&#'("#,- .(//#''!!

M1! GI A7,)!# N ,&"#O

?)!P&0$#! 3,1#"0
/")<"1 H!<2
M")) *!'"#1<
51K!#+ T''!#-&0
G!+!# /&#0&(

U,! *&+,!-&+" &) / "!0 !' 5!'!&# , 60'+"+7+! V"',!' +1 & (01V)!$4!
'7881#+ K2 +,! R&+"10&) / "!0 ! W170$&+"10I
!"#$%&'( ") *&'

+'%% %),($ .*' /0 *&' !,$1'+%$*) /0 .2"+$(3'

U,! G"++ A7")$"04> U#7-8"04+10 /+#!!+> 3&-K#"$4!> F0"+!$ X"04$1 .2"+$(3' !,$1'+%$*) +'%%

U,! Y$"0K7#4, A7")$"04> 3&-K#"$4! 3AE E5F> FX ,++8Z[[VVVI 78I &-I& I7(
C; =!'+ E;+, /+#!!+> R!V S1#(> RS :;;::\CE::> F/? ,++8Z[[VVVI 78I1#4
:; /+&-91#$ 51&$> T&()!"4,> *!)K17#0! ]:@@> ?7'+#&)"&
57"^ $! ?)&# _10 :]> EL;:C *&$#"$> /8&"0
*&+,!-&+" &) / "!0 !' 5!'!&# , 60'+"+7+! E;;;
G#"0+!$ "0 +,! F0"+!$ /+&+!' 19 ?-!#" &
0 ,',-(23! "! ("& 4(" '5#$ 6((7 #$ ,8,#-,6-! 4"(/ '5! 9"#'#$5 :#6",";<
:#6","; (4 .(=2"!$$ .,',-(23#=2 #= >36-# ,'#(= &,',?

!"#$ %&#!'() *$+#,'*) *-" +#!.#%'( / 0#"1%#" ,( 3#1'"'# 4*56#$$) 7-*-"

81$$*() 9&*'$#5 :%#1-&!'-; <11) ==> ?; @ =A .; C *%&#.*%1 *$ : 1#- #5
D#5#*' & E-5%1%F%# ?F,$1 *%1!-5 @ GHI
E:JK LMN=OM>PLQPMG C&,6;I
O; !"#$ %&#!'(; =; R#!.#%'(; G; S1#$"5 C7$+#,'*I E; 4*56#$$) 3#1'"'#)
OHQGT EE; 81$$*() 7-*-"; EEE :%#1-&!'-) 9&*'$#5; EU; :#'1#5;
V7H;>; NHN =LLL
NOO ;PT" =O
LLTL=L=HA
6/AR ; `E: DL;@L ] ,&#$K& (

Model Theory, Algebra, and Geometry

MSRI Publications
Volume 39, 2000

Contents

Overview
Anand Pillay, Charles Steinhorn, and Deirdre Haskell

Introduction to Model Theory

David Marker

15

Classical Model Theory of Fields

Lou van den Dries

37

Model Theory of Differential Fields

David Marker

53

A Survey on the Model Theory of Difference Fields

Chatzidakis
Zoe

65

Notes on o-Minimality and Variations

Dugald Macpherson

97

Stability Theory and its Variants

Bradd Hart

131

Subanalytic Geometry
Edward Bierstone and Pierre D. Milman

151

Arithmetic and Geometric Applications of Quantifier Elimination for

Valued Fields
Jan Denef
Abelian Varieties and the MordellLang Conjecture
Barry Mazur

vii

173
199