28 citations · 117 across the 30 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 7 cited
On the proof of elimination of imaginaries in algebraically closed valued fields
Will Johnson
We give a simplified proof of elimination of imaginaries (in the geometric sorts) in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues wh…
math.LO2014★ 1 cited
A pathological o-minimal quotient
Will Johnson
We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, P…