| Title | Regular enumerations for abstract structures |
| Publication Type | Journal Article |
| Year of Publication | 2001 |
| Authors | Baleva V |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 93 |
| Pagination | 39-48 |
| ISSN | 0205-0808 |
| Keywords | abstract structures, admissible sets, definability, enumeration jump, enumeration reducibility, enumerations, forcing |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 93-039-048.pdf | 910.83 KB |