Элементарность и размерности

Предложено альтернативное доказательство неравенства $\dim X\le\operatorname{Dg}X$ для бикомпактов $X$, недавно полученного В. В. Федорчуком. Проблема сведена к метризуемому случаю при помощи теоремы Лёвенгейма–Скулема.
Библиография: 10 названий.