We show that any (atomic) excellent class 𝔎 can be expanded with hyperimaginaries to form an (atomic) excellent class 𝔎eq which has canonical bases. When 𝔎 is, in addition, of finite U-rank, then 𝔎eq 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 𝔎 gives rise to an excellent class, which is simple if 𝔎 is of finite U-rank.
"Canonical bases in excellent classes." J. Symbolic Logic 73 (1) 165 - 180, March 2008. https://doi.org/10.2178/jsl/1208358747