Топологическая классификация пространств вероятностных мер коаналитических множеств

Доказано, что существует ровно пять топологически неэквивалентных типов пар вида $(P(X),P(Y))$, где $Y$ – всюду плотное коаналитическое подмножество бесконечного метрического компакта $X$, $P(X)$ – пространство вероятностных мер на $X$ и $P(Y)=\{\mu\in P(X)|\operatorname{supp}(\mu)\subset Y\}\subset P(X)$.
Библиография: 19 названий.