Integration in algebraically closed valued fields with sections

Yimu Yin

We construct Hrushovski-Kazhdan style motivic integration in certain expansions of ACVF. Such an expansion is typically obtained by adding a full section or a cross-section from th…