1: \begin{abstract}

2:     	In this paper we develop a bridge between model theory, geometric topology,

3:     	and geometric group theory. We consider a surface $\Sigma$ of finite type and

4:     	its curve

5:     	graph $\mC(\Sigma)$, and we investigate the

6:     	first-order theory of the curve graph in the language of graph theory.

7:     	We prove that the theory of the curve graph is $\omega$--stable, give bounds on its Morley rank,

8:     	and show that it has quantifier elimination with respect to the class of $\exists$--formulae.

9:     	We also show that many of the complexes which are naturally associated to a surface are

10:     	interpretable in the curve graph, which proves that these complexes are all $\omega$--stable

11:     	and admit certain a priori bounds on their Morley ranks. We are able to use Morley rank

12:     	to prove that several complexes are not bi--interpretable with the curve graph.

13:     	As a consequence of quantifier elimination, we show that algebraic intersection number

14:     	is not definable in the first order theory of the curve graph.

15:     \end{abstract}

16: