Definable completeness of $P$-minimal fields and applications

Pablo Cubides Kovacsics, Françoise Delon

We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darnière a…