О связи между деревьями Ароншайна и неметризуемыми $\aleph_0$-монолитными линейно упорядоченными бикомпактами, удовлетворяющими первой аксиоме счетности

Доказываются две теоремы. Первая из них утверждает, что всякий неметризуемый $\aleph_0$-монолитный линейно упорядоченный бикомпакт, удовлетворяющий первой аксиоме счетности, имеет $\pi$-базу, которая при естественном упорядочении на множестве подмножеств, порожденном включением, является деревом Ароншайна. Вторая теорема утверждает, что по дереву Ароншайна можно построить “наивный” пример неметризуемого $\aleph_0$-монолитного линейно упорядоченного бикомпакта, удовлетворяющего первой аксиоме счетности.
Библ. 8.