Extending Fubini Measures (2512.22662v1)

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 arefiberable over $C$". In cases of interest fiberable over $C$" coincides withco-analyzable relative to $C$." This applies in particular to the differential field $\T$ of transseries with $C=\R$, and to differentially closed fields with constant field $C$.