Теорема о топологизации ассоциированных спектров

Доказана теорема о топологизации некоторых вполне упорядоченных спектров множеств. В результате этой топологизации предельное пространство спектра оказывается неметризуемым бикомпактом, счетная степень которого наследственно сепарабельна. Теорема доказана в предположении аксиомы Йенсена $\lozenge$. Следствием теоремы являются полученные ранее автором утверждения о существовании ряда пространств, все конечные степени которых наследственно сепарабельны.