We prove that if ${\cal M}=(M,\leq,+,\ldots)$ is a weakly o-minimal non-valuational structure expanding an ordered group $(M,\leq,+)$, then its expansion by a family of “non-valuational” unary predicates remains non-valuational. The paper is b
S. S. BaĭzhanovB. Sh. Kulpeshov
Stefano LeonesiCarlo Toffalori