Definable choice for a class of weakly o-minimal theories
Laskowski, Michael C. · Shaw, Christopher S.
Original · EN
Given an o-minimal structure M with a group operation, we show that for a properly convex subset U, the theory of the expanded structure M'=(M,U) has definable Skolem functions precisely when M' is valuational. As a corollary, we get an elementary proof that the theory of any such M' does not satisfy definable choice.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.