ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS

TitleADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS
Publication TypeJournal Article
Year of Publication1998
AuthorsSoskova A, Soskov I
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume90
IssueLivre 1 - Mathématiques et Mecanique
Pagination77-90
ISSN0205-0808
Keywordsdefinability, 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

AttachmentSize
PDF icon 90-077-090.pdf1.2 MB