An example of a $P$-minimal structure without definable Skolem functions
Logic
2018-03-22 v2 Number Theory
Abstract
We show there are intermediate -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 -minimal structures which do not admit classical cell decomposition.
Cite
@article{arxiv.1605.00945,
title = {An example of a $P$-minimal structure without definable Skolem functions},
author = {Pablo Cubides Kovacsics and Kien Huu Nguyen},
journal= {arXiv preprint arXiv:1605.00945},
year = {2018}
}
Comments
9 pages, (added missing grant acknowledgement)