1 problem

Hyperimaginary elimination conjecture. The theory $\operatorname{Th}(\mathcal{U}_{\mathcal{R}})$ has elimination of hyperimaginaries if and only if…