| Заглавие | Regular enumerations for abstract structures |
| Вид публикация | Journal Article |
| Година на публикуване | 2001 |
| Автори | Baleva V |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 93 |
| Pagination | 39-48 |
| ISSN | 0205-0808 |
| ключови думи | abstract structures, admissible sets, definability, enumeration jump, enumeration reducibility, enumerations, forcing |
| Резюме | Using the method of regular enumerations in the context of definability, we obtain a normal form for the sets which are $\sum_{n+1}$-admissible in some partial structure. |
| 2000 MSC | 03D30 |
| Прикачен файл | Размер |
|---|---|
 93-039-048.pdf | 910.83 KB |