3 search results - page 1 / 1 » Undecidability of the structure of the Solovay degrees of c.... |
JCSS
2007
13 years 10 months ago
2007
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
STACS
2001
Springer
14 years 3 months ago
2001
Springer
We study effectively given positive reals (more specifically, computably enumerable reals) under a measure of relative randomness introduced by Solovay [32] and studied by Calud...
CIE
2005
Springer
14 years 4 months ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...