Locally compact, locally countable spaces and random reals

In this note I will present a proof that, assuming PFA, if R is a measure algebra then after forcing with R every uncountable locally compact locally countable cometrizable space contains an uncountable discrete set. The lemmas and techniques will be presented in a general form as they may be applicable to other problems.