Logic Seminar: Christine Eagles (UIC)

It is well known that in stable theories, we can understand finite dimensional types in terms of minimal types. One such method is called a semiminimal analysis.  It is known that a minimal types appears in one semiminimal analysis for a type if and only if appears in every semimininal analysis for that type. We show that the multiplicity with which a minimal type arises in a semiminimal analysis for a given type is also independent of the choice of semiminimal analysis.