Hrushovski-Martin-Rideau have proved rationality of Poincare series counting
numbers of equivalence classes of a definable equivalence relation on the p-adic field (in connection to a problem on counting representations of groups). For this they have proved
uniform p-adic elimination of imaginaries. Their work implies that these Poincare series are
motivic. I will talk about their work.
- Advanced Class Logic