Imaginaries, invariant types and pseudo p-adically closed fields

Abstract

In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields.

Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added