SEARCH

SEARCH BY CITATION

Keywords:

  • Cantor-Bendixson rank;
  • definable type;
  • stationary type;
  • MSC (2010) 03C45

Abstract

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