CIE
2005
Springer
13 years 9 months ago
2005
Springer
CIE
2005
Springer
13 years 9 months ago
2005
Springer
Let us say that a c.e. operator E is degree invariant on any given Turing degree a if X, Y ∈ a → E(X) ≡T E(Y ). In [4] we construct a c.e. operator E such that ∀X[X <T E...
CIE
2005
Springer
13 years 9 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...