The i-minimal open-core conjecture

Let K\mathbb K be a DC structure, and let its open core be the structure whose definable sets are generated by the open definable subsets of Kn\mathbb K^n. The i-minimal open-core conjecture. The open core of K\mathbb K 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

No solutions have been posted yet.