On the proof of elimination of imaginaries in algebraically closed valued fields
Will Johnson
TL;DR
This paper presents a simplified proof of elimination of imaginaries in algebraically closed valued fields, improving on previous methods by reducing technical complexities and building on ideas from Hrushovski.
Contribution
It offers a more straightforward proof of elimination of imaginaries in ACVF, avoiding many technical issues of earlier proofs.
Findings
Simplified proof of elimination of imaginaries in ACVF
Reduces technical complexity compared to previous proofs
Builds on ideas of Hrushovski for improved clarity
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.