Introduction. Several applications of model-theoretic methods in the theory of cohomology have appeared recently, most probably influenced by ideas of Macintyre. In his programmatic paper [10], he shows that, after expanding the language of rings by certain sorts and predicates for cohomology, the axioms of Weil cohomology theories are first order and one can form new cohomology theories as ultraproducts of already existing ones.

The present author has remarked that, although the cohomologies with torsion coefficients do not satisfy the axioms for a Weil cohomology theory individually, they do so “on average”, and one can obtain cohomologies with coefficients in pseudofinite fields of characteristic zero by taking ultraproducts [13]. He shows that this “pseudofinite cohomology” is at least as good as the l-adic theory when dealing with issues around the Weil conjectures. In parallel, Brunjes and Serpe developed the theory of nonstandard sheaves systematically, and they even show that the pseudofinite cohomology is better behaved than the l-dic one, the former being a derived functor cohomology [1].

The purpose of this short note is to clarify which aspects and invariants of the theory of (étale) constructible sheaves and cohomologies are definable in the language of rings. It should serve as a bridge between the algebraic-geometric and model-theoretic language and should encourage model-theorists to use the sophisticated techniques already developed by geometers. We show that, in case one needs to consider an invariant defined in terms of constructible sheaves over a finite or a pseudofinite ground field, there is a good chance that it is definable.