Extending Fubini Measures

Abstract

Let $C\subseteq M$ be stably embedded in a structure $\cM=(M;\dots)$. We consider {\em Fubini measures} on the subcategory $\Def(C)$ of the category $\Def(\cM)$ of definable sets in $\cM$, with ``Fubini" signaling good behaviour in definable families. We show that such a Fubini measure extends uniquely to the larger subcategory of $\Def(\cM)$ whose objects are the sets that are ``fiberable over $C$". In cases of interest ``fiberable over $C$" coincides with ``co-analyzable relative to $C$." This applies in particular to the differential field $\T$ of transseries with $C=\mathbb{R}$, and to differentially closed fields with constant field $C$.