Модели теории множеств, в которых теорема отделимости неверна

Произведение минимальных форсингов по Йенсену с конечной поддержкой использовано для построения модели теории множеств, в которой теорема отделимости нарушается для проективных классов $\mathbf{\Sigma}^1_n$ и $\mathbf{\Pi}^1_n$, для данного $n\geqslant3$.
Библиография: 41 наименование.