Abstract

We show that any (atomic) excellent class K can be expanded with hyperimaginaries to form an (atomic) excellent class Keq which has canonical bases. When K is, in addition, of finite U-rank, then Keq is also simple and has a full canonical bases theorem. This positive situation contrasts starkly with homogeneous model theory for example, where the eq-expansion may fail to be homogeneous. However, this paper shows that expanding an ω-stable, homogeneous class K gives rise to an excellent class, which is simple if K is of finite U-rank