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. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.