Clopen predicate conjecture for d-minimal expansions of the real field
Let R\mathcal RR be a d-minimal expansion of Rˉ\bar{\mathbb{R}}Rˉ. Let X⊆RnX \subseteq \mathbb{R}^nX⊆Rn be a manifold definable in R\mathcal RR, and let Y⊆XY \subseteq XY⊆X be clopen in XXX. C…