Just a random thought here: Can cohomology theories (e.g. sheaf cohomology) on the Stone space $S_n(T)$ (the space of complete ntypes) of a firstorder theory $T$ tell us anything interesting (e.g. the classification of theories)? Is there any result in model theory that is obtained (probably most easily) by this kind of application of cohomology theories? Thanks!

I can not really inform you about this since I don't know, but I can point you to some notes of Angus Macintyre, http://modular.math.washington.edu/swc/notes/files/03MacintyreNotes.pdf Here are some excerpts: "For me personally, the main surprise arising from the discovery of ACFA was how much there was to be done in terms of a modeltheoretic reaction to the development of etale cohomology and its relatives." "Again, in a different direction, one begins to see cohomological ideas coming up all over applied model theory, for example in ominimality." I hope that you find this useful. 


You "only" need to change the topology of the stone space to make it interesting. In ominimality, the "spectral" topology is often used: see e.g. many papers by Edmundo. A similar approach can be used in other topological structures, as long as the structure is definably connected; for structures that are (totally) definably disconnected (like the padics) you would need to come out with something different. 

