A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Let R be an NIP expansion of (R,<,+) by closed subsets of R^n and continuous functions f : R^m →R^n. Then R is generically locally o-minimal. It follows that if X ⊆R^n is definable in R then the C^k-points of X are dense in X for any k ≥ 0. This follows from a more general theorem on NIP expansions of locally compact groups, which itself follows from a result on quotients of definable sets by equivalence relations which are externally definable and -definable. We also show that R is stronglyarXiv:1910.10572v3 fatcat:i6ui3zglxvalhh3l4dpvgktdqi