The i-minimal open-core conjecture
The i-minimal open-core conjecture
Let be a DC structure, and let its open core be the structure whose definable sets are generated by the open definable subsets of . The i-minimal open-core conjecture. The open core of is i-minimal. The source gives no resolution of this conjecture and only refers to further work on i-minimal structures outside the real field.
Sources & referencesView supporting material
Primary source
Antongiulio Fornasiero, “Expansions of the reals which do not define the natural numbers”, arXiv:1104.1699 (2011).
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.