1: \def\germ{\frak} \def\scr{\cal} \ifx\documentclass\undefinedcs
2: \def\bf{\fam\bffam\tenbf}\def\rm{\fam0\tenrm}\fi % f**k-amstex!
3: \def\defaultdefine#1#2{\expandafter\ifx\csname#1\endcsname\relax
4: \expandafter\def\csname#1\endcsname{#2}\fi} \defaultdefine{Bbb}{\bf}
5: \defaultdefine{frak}{\bf} \defaultdefine{=}{\B} % doublef**k-amstex!!
6: \defaultdefine{mathfrak}{\frak} \defaultdefine{mathbb}{\bf}
7: \defaultdefine{mathcal}{\cal}
8: \defaultdefine{beth}{BETH}\defaultdefine{cal}{\bf} \def\bbfI{{\Bbb I}}
9: \def\mbox{\hbox} \def\text{\hbox} \def\om{\omega} \def\Cal#1{{\bf #1}}
10: \def\pcf{pcf} \defaultdefine{cf}{cf} \defaultdefine{reals}{{\Bbb R}}
11: \defaultdefine{real}{{\Bbb R}} \def\restriction{{|}} \def\club{CLUB}
12: \def\w{\omega} \def\exist{\exists} \def\se{{\germ se}} \def\bb{{\bf b}}
13: \def\equivalence{\equiv} \let\lt< \let\gt>
14: \def\implies{\Rightarrow}\def\mathfrak{\bf}\def\germ{\frak} \def\scr{\cal}
15: \ifx\documentclass\undefinedcs
16: \def\bf{\fam\bffam\tenbf}\def\rm{\fam0\tenrm}\fi % f**k-amstex!
17: \def\defaultdefine#1#2{\expandafter\ifx\csname#1\endcsname\relax
18: \expandafter\def\csname#1\endcsname{#2}\fi} \defaultdefine{Bbb}{\bf}
19: \defaultdefine{frak}{\bf} \defaultdefine{=}{\B} % doublef**k-amstex!!
20: \defaultdefine{mathfrak}{\frak} \defaultdefine{mathbb}{\bf}
21: \defaultdefine{mathcal}{\cal}
22: \defaultdefine{beth}{BETH}\defaultdefine{cal}{\bf} \def\bbfI{{\Bbb I}}
23: \def\mbox{\hbox} \def\text{\hbox} \def\om{\omega} \def\Cal#1{{\bf #1}}
24: \def\pcf{pcf} \defaultdefine{cf}{cf} \defaultdefine{reals}{{\Bbb R}}
25: \defaultdefine{real}{{\Bbb R}} \def\restriction{{|}} \def\club{CLUB}
26: \def\w{\omega} \def\exist{\exists} \def\se{{\germ se}} \def\bb{{\bf b}}
27: \def\equivalence{\equiv} \let\lt< \let\gt>
28: \begin{thebibliography}{ChKe66}
29: \makeatletter \renewcommand{\@biblabel}[1]{[#1]} \makeatother
30: \def\eprintfootnotetext{References of the form {\tt math.XX/$\cdots$}
31: refer to {\tt arXiv.org} }
32: \ifx\documentstyle\undefinedcontrolsequence
33: \def\anyfootnote{\footnote{*}}
34: \else\def\anyfootnote{\footnote}\fi
35: \def\eprintfn{\ifEprint\anyfootnote{\eprintfootnotetext}\fi\Eprintfalse }
36: \newif\ifEprint \Eprinttrue
37:
38: \bibitem[BY03]{BY03}Itay Ben-Yaacov.
39: \newblock {Positive model theory and compact abstract theories}.
40: \newblock {\em Journal of Mathematical Logic}, {\bf 3}:85--118, 2003.
41:
42: \bibitem[BY03a]{BY03a}Itay Ben-Yaacov.
43: \newblock {Simplicity in compact abstract theories}.
44: \newblock {\em J. Math. Log.}, {\bf 3}:163--191, 2003.
45:
46: \bibitem[BY05]{BY05}Itay Ben-Yaacov.
47: \newblock {Uncountable dense categoricity in cats}.
48: \newblock {\em J. Symbolic Logic}, {\bf 70}:829--860, 2005.
49:
50: \bibitem[ChKe66]{ChKe66}Chen chung Chang and Jerome~H. Keisler.
51: \newblock {\em {Continuous Model Theory}}, volume~58 of {\em Annals of
52: Mathematics Studies}.
53: \newblock Princeton University Press, Princeton, NJ, 1966.
54:
55: \bibitem[GrLe02]{GrLe02}Rami Grossberg and Olivier Lessmann.
56: \newblock {Shelah's stability spectrum and homogeneity spectrum in finite
57: diagrams}.
58: \newblock {\em Archive for Mathematical Logic}, {\bf 41}:1--31, 2002.
59:
60: \bibitem[HeIo02]{HeIo02}C.~Ward Henson and Jose Iovino.
61: \newblock {Ultraproducts in analysis}.
62: \newblock In {\em Analysis and logic (Mons, 1997)}, volume 262 of {\em London
63: Math. Soc. Lecture Note Ser.}, pages 1--110. Cambridge Univ. Press,
64: Cambridge, 2002.
65:
66: \bibitem[Hrxz]{Hrxz}Ehud Hrushovski.
67: \newblock {Simplicity and the Lascar Group}.
68: \newblock Preprint, 1997.
69:
70: \bibitem[Io99]{Io99}J\'ose Iovino.
71: \newblock {Stable Banach spaces and Banach space structures. I. Fundamentals}.
72: \newblock In {\em {Models, algebras, and proofs (Bogot\'a, 1995)}}, volume 203
73: of {\em Lecture Notes in Pure and Appl. Math.}, pages 77--95. Dekker, New
74: York, 1999.
75:
76: \bibitem[BeUs0y]{BeUs0y}Ben-Yaacov Itay and Alex Usvyatsov.
77: \newblock {Continuous first order logic and local stability}.
78: \newblock {\em submitted}.
79:
80: \bibitem[Pi00]{Pi00}Anand Pillay.
81: \newblock {Forking in the category of existentially closed structures}.
82: \newblock In {\em {Connections between model theory and algebraic and analytic
83: geometry}}, volume~6 of {\em Quad. Mat.}, pages 23--42. Dept. Math., Seconda
84: Univ. Napoli, Caserta, 2000.
85:
86: \bibitem[Sh 88r]{Sh:88r}Saharon Shelah.
87: \newblock {\em {Abstract elementary classes near $\aleph_1$}}.
88: \newblock {Chapter I}.
89:
90: \bibitem[Sh 863]{Sh:863}Saharon Shelah.
91: \newblock {Strongly dependent theories}.
92: \newblock {\em Israel Journal of Mathematics}, {\bf submitted}.
93: \newblock math.LO/0504197.
94:
95: \bibitem[Sh 3]{Sh:3}Saharon Shelah.
96: \newblock {Finite diagrams stable in power}.
97: \newblock {\em {Annals of Mathematical Logic}}, {\bf 2}:69--118, 1970.
98:
99: \bibitem[Sh 54]{Sh:54}Saharon Shelah.
100: \newblock {The lazy model-theoretician's guide to stability}.
101: \newblock {\em {Logique et Analyse}}, {\bf 18}:241--308, 1975.
102:
103: \bibitem[Sh:c]{Sh:c}Saharon Shelah.
104: \newblock {\em {Classification theory and the number of nonisomorphic models}},
105: volume~92 of {\em {Studies in Logic and the Foundations of Mathematics}}.
106: \newblock {North-Holland Publishing Co., Amsterdam, xxxiv+705 pp}, 1990.
107:
108: \end{thebibliography}
109: