The derivative of a constructible function is constructible
Abstract
Abstract The notion of constructible functions in the setting of tame real geometry has been introduced by Cluckers and Miller in their work on parametric integration of globally subanalytic functions. A function on a globally subanalytic set is called constructible if it is a finite sum of finite products of globally subanalytic functions and the logarithm of positive globally subanalytic functions. We show that the class of constructible functions is stable under taking derivatives.
Fields of Study & Subjects
Advanced Topology and Set Theory
Advanced Banach Space Theory
Mathematical and Theoretical Analysis
Publication details
- Journal / source
- Canadian Mathematical Bulletin
- Publisher
- Canadian Mathematical Society
- Pages
- 1–5
- Publication date
- 30 April 2026
- Language
- EN