ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS
Keywords:
definability, enumerations, forcingAbstract
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}$.
Downloads
Published
1998-12-12
Issue
Section
Articles
How to Cite
ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS. (1998). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 90, 77-90. https://annual.uni-sofia.bg/index.php/fmi/article/view/287