О совершенных подмножествах инвариантных CA-множеств

Известная теорема о том, что любое $\Sigma^1_2(a)$-множество $X$ вещественных чисел (где $a$ – фиксированный вещественный параметр), не содержащее совершенного ядра, необходимо удовлетворяет условию $X\subseteq\mathbf L[a]$, получает обобщение на более широкий класс множеств, у которых счетные ординалы (порядковые числа) допускаются в качестве дополнительных параметров в $\Sigma^1_2(a)$-определениях.
Библиография: 12 названий.