So for example, if all canonical bases exist as tuples of ordinary imaginaries, then it can be shown that every hyperimaginary is interdenable with a...

So for example, if all canonical bases exist as tuples of ordinary imaginaries, then it can be shown that every hyperimaginary is interdenable with a tuple of ordinary imaginaries ([25]) In the stable case, we pointed out that Cb(p) is a kind of code for the set of stationary types which have a common nonforking extension with p. What is the corresponding family in the simple case?