Elementarity and dimensions

We give an alternative proof of Fedorchuk’s recent result that dim X <= Dg X for compact Hausdorff spaces X. We use the L"{o}wenheim-Skolem theorem to reduce the problem to the metric case.