13 citations · 49 across the 18 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…