Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleOn definability of types of finite Cantor-Bendixson rank.AuthorsTanovi&;#x0107;, PredragAbstractWe 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, WeinheimSubjectsMODULAR arithmetic; MATHEMATICAL logic; TYPE theory; SEQUENCE spaces; VECTOR topologyPublicationMathematical Logic Quarterly, 2011, Vol 57, Issue 3, p256ISSN0942-5616Publication typeArticleDOI10.1002/malq.200910134