Charles Steinhorn

Learn More
Let M be an o-minimal expansion of a densely ordered group and H be a pairwise disjoint collection of dense subsets of M such that H is definably independent in M. We study the structure (M, (H) H∈H). Positive results include that every open set definable in (M, (H) H∈H) is definable in M, the structure induced in (M, (H) H∈H) on any H 0 ∈ H is as simple as(More)