A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
Pablo Cubides Kovacsics, KIEN HUU NGUYEN · Journal of Symbolic Logic · 2017
Abstract We show there are intermediate P-minimal structures between the semialgebraic and subanalytic 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.