1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2007★ 1 cited
On logical characterization of henselianity
Yimu Yin
We give some sufficient conditions under which any valued field that admits quantifier elimination in the Macintyre language is henselian. Then, without extra assumptions, we prove…
math.LO2007
On the equivalence of two quantifier elimination tests
Yimu Yin
We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent.
cs.LO2006
Quantifier elimination for the reals with a predicate for the powers of two
Jeremy Avigad, Yimu Yin
In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decida…