Recursively enumerable sets of positive integers and their decision problems