The hyperimaginary elimination conjecture for Urysohn monoids
Let be a nontrivial Urysohn monoid. Define
Hyperimaginary elimination conjecture. The theory has elimination of hyperimaginaries if and only if .
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 , it would imply that finite strong order rank for 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.