On the de Rham theorem in the globally subanalytic setting

Abstract: For globally subanalytic manifolds we define de Rham complexes of globally subanalytic differential forms and of constructible differential forms. Whereas the de Rham theorem does not hold for the former in the non-compact case, it does hold for the latter in full generality. We deduce that the constructible de Rham cohomology groups are canonically isomorphic to the classical ones. We stress that our results apply already in the $C^1$-setting.