I know what recursively enumerable sets are, but I don't think is a universally accepted notation. I believe it should have been defined earlier in your text. If it were , it could mean that there exist infinitely many objects. Maybe means "for all y's that are indices of infinite recursively enumerable sets"? If your text is available online, I could look into it.