activity
20062022
most citedQuantifier elimination and minimality conditions in algebraically closed valued fields

13 citations · 49 across the 18 of their papers we have counts for

collaborators
Showing math.LOShow all

13 papers · 1 filter

math.LO2020

-convex valued fields with tempered exponentiation

Yimu Yin

We continue the effort of grokking the structure of power-bounded -convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on cer…

math.LO2018★ 1 cited

Approximation by -minimal sets in power-bounded -convex valued fields

Yimu Yin

We show that, for a certain large class of power-bounded -minimal -theories whose field of exponents is infinite-dimensional as a vector space over the ration…

math.LO2018★ 1 cited

Integration in power-bounded -convex valued fields

Yimu Yin

This is the second installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain types of nonarchimedean -minimal fi…

math.LO2015★ 4 cited

Generalized Euler characteristic in power-bounded T-convex valued fields

Yimu Yin

We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimede…

math.LO2015★ 1 cited

Lipschitz stratifications in power-bounded o-minimal fields

Immanuel Halupczok, Yimu Yin

We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structur…

math.LO2013★ 5 cited

Additive invariants in o-minimal valued fields

Yimu Yin

We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The stru…