Р. Р. Авдеев, “О допустимых множествах вида $\mathbb{HYP}(\mathfrak M)$ над рекурсивно насыщенными моделями”, Сиб. матем. журн., 52:6 (2011), 1199–1220 ; R. R. Avdeev, “On the admissible sets of type $\mathbb{HYP}(\mathfrak M)$ over recursively saturated models”, Siberian Math. J., 52:6 (2011), 951–968