MODNET
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
E-mail:

Submission date: 13 June 2014.

Abstract:

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: June 26 2014 13:36 Please send your corrections to: