Definable \(\mathsf{E}_0\) classes at arbitrary projective levels (Q2636533)

In this article, the authors investigate the problem whether every definable countable set always contains some definable elements. The following is the main result of this article: \par Let $n\ge 3$. There is a generic extension $\mathbf{L}[a]$ of $\mathbf{L}$, by a real $a\in 2^\omega$, such that the following is true in $\mathbf{L}[a]$: \begin{itemize} \item[(i)] $a$ is not ordinal definable and any ordinal definable real belongs to $\mathbf{L}$; \item[(ii)] the Vitali class $\{a+r:r\in\mathbb{Q}\}$ is a lightface $\Pi^1_n$ set, which does not contain any ordinal definable real; \item[(iii)] every countable $\Sigma^1_n$ set belongs to $\mathbf{L}$, hence consists of ordinal definable reals. \end{itemize} \par It is worth noting that the case $n=2$ is also valid. This result was proved by the same authors in [Math. Notes 102, No. 3, 338--349 (2017; Zbl 1420.03130); translation from Mat. Zametki 102, No. 3, 369--382 (2017)].