1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
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.