Title | ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS |
Publication Type | Journal Article |
Year of Publication | 1998 |
Authors | Soskova A, Soskov I |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 90 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 77-90 |
ISSN | 0205-0808 |
Keywords | definability, enumerations, forcing |
Abstract | 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 |
Attachment | Size |
---|---|
90-077-090.pdf | 1.2 MB |