presented at event Special Session on Computability, Meeting of the American Mathematical Society, Gainesville, Florida (invited). Conference