A space X is of countable
type if for every compact C ⊂ X, there exists a compact set K having a
countable basis with C ⊂ K.X is of point-countable type if there exists
a covering of compact subsets of X, each having a countable basis. It is
shown that in a Hausdorff space of countable type, a compact set has a
countable basis if and only if it is a Gδ-set. Similarly, for Hausdorff spaces of
point-countable type, a point has a countable basis if and only if it is a
Gδ-set.