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

From MaRDI portal
Publication:2656206