Imaginaries, invariant types and pseudo p-adically closed fields

Abstract

In this paper, we give a general criterion for elimination of imaginaries using an abstract independence relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these results to prove the elimination of imaginaries in bounded pseudop-adically closed fields.ValCoMo/[ANR-13-BS01-0006]//UCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias Básicas::Centro de Investigaciones en Matemáticas Puras y Aplicadas (CIMPA

    Similar works