c.e. sets recursively enumerable recursively enumerable c.e. sets recursively enumerable recursively enumerable recursively enumerable c.e. sets recursively enumerable recursively enumerable recursively enumerable semi-decidable set recursive enumerability recursively enumerable recursively enumerable recursively enumerable c.e. sets recursively enumerable