Elimination of hyperimaginaries for simple theories
Conjecture on simple theories. Every simple theory eliminates hyperimaginaries.
MathDB