ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS

Authors

  • Alexandra Soskova
  • Ivan Soskov

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}$.

Downloads

Published

1998-12-12

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