Now showing items 1-1 of 1
Imaginaries, invariant types and pseudo p-adically closed fields
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 ...