E Hrushovski, B Martin, S Rideau,
R Cluckers - J. Eur. Math. Soc.(JEMS), 2018 - ems.press
We prove that the theory of the p-adics Qp admits elimination of imaginaries provided we
add a sort for GLn (Qp)/GLn (Zp) for each n. We also prove that the elimination of …