ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS

Заглавие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
IssueLivre 1 - Mathématiques et Mecanique
Pagination77-90
ISSN0205-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

Прикачен файлРазмер
PDF icon 90-077-090.pdf1.2 MB