| Authors: | Tanović, Predrag |
| Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts |
| Title: | On definability of types of finite Cantor-Bendixson rank |
| Journal: | Mathematical Logic Quarterly |
| Volume: | 57 |
| Issue: | 3 |
| First page: | 256 |
| Last page: | 260 |
| Issue Date: | 1-Jun-2011 |
| Rank: | M22 |
| ISSN: | 0942-5616 |
| DOI: | 10.1002/malq.200910134 |
| 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. |
| Keywords: | Cantor-Bendixson rank | Definable type | Stationary type |
| Publisher: | Wiley |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.