Publications > Preprint server > Preprint Number 739
Preprint Number 739
739. Will Johnson
On the proof of elimination of imaginaries in algebraically closed valued fields
Submission date: 13 June 2014.
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 which arose in the original proof by Haskell, Hrushovski, and Macpherson.
Mathematics Subject Classification: 03C60
Keywords and phrases:
|Last updated: March 23 2021 10:22||Please send your corrections to:|