Now showing items 1-2 of 2
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 ...
Groups with f-generics in NTP2 and PRC fields
We study groups with f-generic types definable in bounded PRC fields. Along the way, we generalize part of the basic theory of definably amenable NIP groups to NTP2theories and prove variations on Hrushovski’s stabilizer theorem.