User blog comment:Denis Maksudov/Slowly growing ordinal function and FS up to BHO./@comment-28606698-20170402064919/@comment-1605058-20170402114934

Whether "finite" counts as a "countable" is a matter of some discussion (see the second paragraph here, but otherwise I would say it is correct.