Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимым

Доказана теорема о совместимости с теорией ZFC утверждения: множество всех аналитически определимых множеств $x\subseteq\omega$ аналитически определимо. $x\subseteq\omega$ называется аналитически определимым, если $x$ принадлежит одному из классов $\Sigma^1_n$ аналитической иерархии. То же для $X\subseteq\mathscr P(\omega)$. Таким образом, решена для случая $p=1$ проблема Тарского об определимости в теории типов. Доказательство использует метод вынуждения с помощью почти дизъюнктных множеств.
Библиография: 14 названий.