Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

We view subsets of the natural numbers as their characteristic functions, which are elements of the Cantor space $2^\mathbb{N}$. We take the uniform probability measure on the Cantor space. Under this view, what is the measure of the family of all productive sets (in the sense of computability theory)? Immune sets? Sets which are neither immune nor productive nor computably enumerable?

share|cite|improve this question
thank Mr.Andreas Blass ,Andrej Bauer,Andres Caicedo,Gerry Myerson for their comments and suggests (see discussion of the original question below),and me ,who have never been so patient to rephrase question or articles –  XL _at_China Apr 14 '11 at 2:05
@Andrej,thank you very much for your editing.:) –  XL _at_China Apr 14 '11 at 5:07
You're welcome. I just couldn't stand all those commas and periods with spaces before them and none after ;-) –  Andrej Bauer Apr 14 '11 at 6:05

1 Answer 1

up vote 4 down vote accepted

Isn't this revised question just the one Andrej Bauer suggested and I answered in the comments on your earlier continued-fraction version? In the uniform measure on subsets of $\mathbb N$ (equivalent, if you replace sets with their characteristic functions, to the product measure on $\{0,1\}^{\mathbb N}$ arising from the uniform measure on $\{0,1\}$), the collection of immune sets has measure 1, and therefore the other two collections in your question have measure 0.

share|cite|improve this answer
@Andreas,yes.Mr. Myerson suggest that I rephrase the question,therefore I rephrase the original one as two questions. –  XL _at_China Apr 14 '11 at 2:09

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.