  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.
