  In this paper we find general criteria to ensure that, in an arbitrary
o-minimal structure, the o-minimal cohomology without supports and with
definably compact supports of a definable space with coefficients in a sheaf is
invariant in elementary extensions and in o-minimal expansions. We also prove
the o-minimal analogue of Wilder's finiteness theorem in this context.
