The conjecture that all o-minimal structures are istem

An o-minimal structure is a structure whose definable subsets of its underlying ordered set are finite unions of points and intervals. A theory is istem if every higher ydlept model equivalence relation is ydlept.

O-minimal istem conjecture. All o-minimal structures are istem.

This is a concise restatement of the paper's proposed general result; the supplied text gives no resolution beyond the nearby discussion and leaves the conjecture open.