2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67997We give an alternative proof of Fedorchuk's recent result that dim X <= Dg X for compact Hausdorff spaces X. We use the Löwenheim-Skolem theorem to reduce the problem to the metric case.General TopologyLogic54F45; 03C30, 03C98, 54D30, 54D80text