The hyperimaginary elimination conjecture for Urysohn monoids

At least 10 years old · documented by

Let R\mathcal{R} be a nontrivial Urysohn monoid. Define

heq⁡(R)={α∈eq⁡(R∗):α<inf⁡{r∈eq⁡(R):α≤r}}.\operatorname{heq}(\mathcal{R})=\{\alpha\in\operatorname{eq}(\mathcal{R}^*):\alpha<\inf\{r\in\operatorname{eq}(\mathcal{R}):\alpha\leq r\}\}.

Hyperimaginary elimination conjecture. The theory Th⁡(UR)\operatorname{Th}(\mathcal{U}_{\mathcal{R}}) has elimination of hyperimaginaries if and only if heq⁡(R)=∅\operatorname{heq}(\mathcal{R})=\emptyset.

The conjecture would characterize elimination of hyperimaginaries for theories of generalized Urysohn spaces. Combined with the proposition that a countable distance monoid of finite archimedean rank has empty heq⁡(R)\operatorname{heq}(\mathcal{R}), it would imply that finite strong order rank for Th⁡(UR)\operatorname{Th}(\mathcal{U}_{\mathcal{R}}) entails elimination of hyperimaginaries.

References

Primary source

Gabriel Conant, “Neostability in countable homogeneous metric spaces”, arXiv:1504.02427 (2018).

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.