On countably compact quasi-pseudometrizable spaces

We prove the following results: (1) A quasi-metrizable space is compact if and only if every compatible quasi-metric has a quasi-metric left d—sequential completion. (2) A quasipseudometrizable space is countably compact if and only if every compatible quasi-pseudometric is pointwise bounded. (3) A quasi-pseudometrizable space is compact if and only if every compatible quasi-pseudometric is precompact.