## References * Angus McIntyre, Model Theory, Geometric and Set-Theoretic Aspects and Prospects, [pdf](http://www.math.ucla.edu/~asl/bsl/0902/0902-005.ps) * David Corfield, Category Theory and Model Theory, [ncafé](http://golem.ph.utexas.edu/category/2008/07/category_theory_and_model_theo.html) * Ehud Hrushovski, Geometric Model Theory, [pdf](http://www.emis.de/journals/DMJDMV/xvol-icm/00/Hrushovski.MAN.ps.gz) * Makkai and Paré (1989), Accessible categories: The foundation of Categorical Model Theory, Contemporary Mathematics, AMS. * Ravi Rajani and Mike Prest, Model-theoretic imaginaries and coherent sheaves, [pdf](http://eprints.ma.man.ac.uk/1097/01/covered/MIMS_ep2006_410.pdf) * Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore, The prospects for mathematical logic in the twenty-first century, [arXiv:cs/0205003 ](http://arxiv.org/abs/cs/0205003) * Lou van den Dries, Lou Tame Topology and O-minimal Structures * D.Haskell et al. (eds) Model Theory, Algebra, and Geometry