MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question
I am not aware of any such result. But don't cohomology theories have problems with zero dimensional spaces? The spaces of types are zero-dimensional. I don't know about sheaf cohomology, though. – Stefan Geschke Jul 22 '10 at 8:55
@Stefan: indeed, you were right. The (sheaf-)cohomological dimension of the type spaces is always zero. So sheaf cohomology can't really give anything more interesting than the global section functor. – Jizhan Hong Apr 7 '11 at 15:17
Maybe you should put it as an answer so that I can accept it? – Jizhan Hong Apr 7 '11 at 15:22

I can not really inform you about this since I don't know, but I can point you to some notes of Angus Macintyre,

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.

share|cite|improve this answer

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.