2 problems

Let $M$ be a strictly weakly o-minimal non-valuational expansion of an ordered group. A definable Skolem function is a definable choice function for every definable family of nonem…

Let $M$ be a strictly weakly o-minimal expansion of an ordered group. Here, strictly weakly o-minimal means weakly o-minimal but not o-minimal, and definable choice means that ever…