Finite-vocabulary obstruction to elimination of imaginaries in Hrushovski constructions
Finite-vocabulary conjecture. Under these assumptions,
MathDB