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
How to Cite
Soskova, A., & Soskov, I. (1998). ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS. Ann. Sofia Univ. Fac. Math. And Inf., 90, 77–90. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/287
Issue
Section
Articles