The hyperimaginary elimination conjecture for Urysohn monoids

From papers

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

heq(R)={αeq(R):α<inf{req(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.