Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is definable.
math.LO↗