Definable completeness of P-minimal fields and applications

Abstract: 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`ere and Halupczok showing that

P

-minimal fields satisfy the "extreme value property": for every closed and bounded subset

U s u b s e t e q K

and every interpretable continuous function

f c o l o n U o G a m m a_{K}

(where

G a m m a_{K}

denotes the value group),

f (U)

admits a maximal value. Two further corollaries are obtained as a consequence of their work. The first one shows that every interpretable subset of

K i m e s G a m m a_{K}^{n}

is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every

P

-minimal field is polynomially bounded. The second one characterizes those

P

-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues.

This page was built for publication: Definable completeness of $P$-minimal fields and applications