On definability of types of finite Cantor-Bendixson rank

✍ Scribed by Predrag Tanović

• Publisher: John Wiley and Sons
• Year: 2011
• Tongue: English
• Weight: 83 KB
• Volume: 57
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200910134

✦ Synopsis

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.