Cohomology Theories on The Stone Space of Complete n-types Just a random thought here: Can cohomology theories (e.g. sheaf cohomology) on the Stone space $S_n(T)$ (the space of complete n-types) of a first-order 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!
 A: 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 model-theoretic 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 o-minimality."
I hope that you find this useful. 
A: You "only" need to change the topology of the stone space to make it interesting.
In o-minimality, 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 p-adics) you would need to come out with something different.
