Заглавие | ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS |
Вид публикация | Journal Article |
Година на публикуване | 1998 |
Автори | Soskova A, Soskov I |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 90 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 77-90 |
ISSN | 0205-0808 |
ключови думи | definability, enumerations, forcing |
Резюме | In the paper we introduce the notion of $\sum_n^0 \textit{ partial enumeration}$ of an abstract structure $\mathfrak{A}$. Given a $k \leq n$, we obtain a characterization of the subsets of $\mathfrak{A}$ possessing $\sum_k^0$ pullbacks in all $\sum_n^0$ partial enumerations of $\mathfrak{A}$. |
1991/95 MSC | 03D70, 03D75 |
Прикачен файл | Размер |
---|---|
90-077-090.pdf | 1.2 MB |