Clopen predicate conjecture for d-minimal expansions of the real field

Let R\mathcal R be a d-minimal expansion of Rˉ\bar{\mathbb{R}}. Let XRnX \subseteq \mathbb{R}^n be a manifold definable in R\mathcal R, and let YXY \subseteq X be clopen in XX. Clopen predicate conjecture. The expansion Rˉ,Y\langle \bar{\mathbb{R}},Y\rangle, obtained by adding a predicate for YY to Rˉ\bar{\mathbb{R}}, is also d-minimal. This concerns preservation of d-minimality under naming a clopen definable subset of a definable manifold; the supplied text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Antongiulio Fornasiero, “D-minimal structures”, arXiv:2107.04293 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.