Un principe d'Ax-Kochen-Ershov imaginaire

Martin Hils, Silvain Rideau-Kikuchi

We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principl…