Elementarity and Dimensions

An alternative proof of Fedorchuk's recent result that $\dim X\le\operatorname{Dg}X$ for compact Hausdorff spaces X is given. The problem is reduced to the metric case by using the Lowenheim–Skolem theorem.