On definability of types of finite Cantor-Bendixson rank

摘要

We prove that every type of finite Cantor-Bendixson rank over a model of a first-order theory without the strict order property is definable and has a unique nonforking extension to a global type.