1: \begin{abstract}

2:   The purpose of this paper is to contribute to the theory of

3:   profinite semigroups by considering the special class consisting of

4:   those all of whose finitely generated closed subsemigroups are

5:   countable, which are said to be locally countable. We also call

6:   locally countable a pseudovariety \pv V (of finite semigroups) for

7:   which all pro-\pv V semigroups are locally countable. We investigate

8:   operations preserving local countability of pseudovarieties and show

9:   that, in contrast with local finiteness, several natural operations

10:   do not preserve it.

11:   We also investigate the relationship of a finitely generated

12:   profinite semigroup being countable with every element being

13:   expressable in terms of the generators using multiplication and the

14:   idempotent (omega) power. The two properties turn out to be

15:   equivalent if there are only countably many group elements, gathered

16:   in finitely many regular \Cl J-classes. We also show that the

17:   pseudovariety generated by all finite ordered monoids satisfying the

18:   inequality $1\le x^n$ is locally countable if and only if $n=1$.

19: \end{abstract}

20: