Abstract

Let T be a theory. If T eliminates \, it need not follow that \ eliminates \, as shown by the example of the p-adics. We give a criterion to determine whether \ eliminates \. Specifically, we show that \ eliminates \ if and only if \ is eliminated on all interpretable sets of “unary imaginaries.” This criterion can be applied in cases where a full description of \ is unknown. As an application, we show that \ eliminates \ when T is a C-minimal expansion of ACVF.