Clopen predicate conjecture for d-minimal expansions of the real field
Clopen predicate conjecture for d-minimal expansions of the real field
Let be a d-minimal expansion of . Let be a manifold definable in , and let be clopen in . Clopen predicate conjecture. The expansion , obtained by adding a predicate for to , 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
Sign in to submit a solution.
No solutions have been posted yet.