Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 739

Preprint Number 739

Previous Next Preprint server

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:

Full text arXiv 1406.3654: pdf, ps.

Last updated: March 23 2021 10:22 Please send your corrections to: