arXiv Analytics

Sign in

arXiv:1406.3654 [math.LO]AbstractReferencesReviewsResources

On the proof of elimination of imaginaries in algebraically closed valued fields

Will Johnson

Published 2014-06-13, updated 2019-10-17Version 2

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.

Comments: New and improved coding for finite sets (section 4.3)
Categories: math.LO
Subjects: 03C60
Related articles: Most relevant | Search more
arXiv:0809.0473 [math.LO] (Published 2008-09-02, updated 2010-12-29)
Integration in algebraically closed valued fields
arXiv:1204.5979 [math.LO] (Published 2012-04-26, updated 2012-05-20)
Integration in algebraically closed valued fields with sections
arXiv:0903.1097 [math.LO] (Published 2009-03-06, updated 2014-03-23)
Fourier transform of the additive group in algebraically closed valued fields

Links

Toolbox