RELATIVELY INTRINSICALLY ARITHMETICAL SETS

Abstract

Sets that have $\sum_n^0$ ($\prod_n^0$, arithmetical) associates in every partial enumeration of given countable abstract structure are considered. Some minimal classes of partial enumerations are obtained such that admissibility in every such class yields the respective definability.