Абсолютность множества $\Sigma$ по Соловею

Доказано, что множество $\Sigma$ по Соловею в достаточно широком смысле абсолютно определимо, в частности, не зависит от выбора исходной модели.