Mathematics – Logic
Scientific paper
2011-10-09
Mathematics
Logic
Submitted to Theoretical Computer Science
Scientific paper
We study generalizations of Demuth's Theorem, which states that the image of a Martin-L\"of random real under a tt-reduction is either computable or Turing equivalent to a Martin-L\"of random real. We show that Demuth's Theorem holds for Schnorr randomness and computable randomness (answering a question of Franklin), but that it cannot be strengthened by replacing the Turing equivalence in the statement of the theorem with wtt-equivalence. We also provide some additional results about the Turing and tt-degrees of reals that are random with respect to some computable measure.
Bienvenu Laurent
Porter Christopher
No associations
LandOfFree
Effective randomness, strong reductions and Demuth's theorem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Effective randomness, strong reductions and Demuth's theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Effective randomness, strong reductions and Demuth's theorem will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-88392