On definability of types of finite Canto
✍
Predrag Tanović
📂
Article
📅
2011
🏛
John Wiley and Sons
🌐
English
⚖ 83 KB
## MSC (2010) 03C45 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.