13 citations · 20 across the 3 of their papers we have counts for
3 papers
math.LO2012★ 3 cited
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…
math.LO2010★ 4 cited
Special transformations in algebraically closed valued fields
Yimu Yin
We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order t…
math.LO2010★ 13 cited
Quantifier elimination and minimality conditions in algebraically closed valued fields
Yimu Yin
A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language…