Work

The derivative of a constructible function is constructible

Year: 2026
Type: article
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.
Language: English
Open Access status: hybrid
Estimated APC paid: $3,550
OpenAlex ID: W4417104610
FWCI:
Cites:
Cited by:
Related to: