An example of a $P$-minimal structure without definable Skolem functions

Abstract

We show there are intermediate $P$-minimal structures between the semi-algebraic and sub-analytic languages which do not have definable Skolem functions. As a consequence, by a result of Mourgues, this shows there are $P$-minimal structures which do not admit classical cell decomposition.

9 pages, (added missing grant acknowledgement)

References in corpus (1)

• Some properties of analytic difference fields