2 papers
math.LO2026
The Derivative of a Constructible Function is Constructible
Tobias Kaiser
The notion of constructible functions in the setting of tame real geometry has been introduced by Cluckers and Dan Miller in their work on parametric integration of globally subana…
math.LO2025
On the de Rham theorem in the globally subanalytic setting
Annette Huber, Tobias Kaiser, Abhishek Oswal
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…