Sciweavers

111
Voted
CIE
2005
Springer
15 years 10 months ago
Continuous Semantics for Strong Normalization
Ulrich Berger
138
Voted
CIE
2005
Springer
15 years 10 months ago
On a Question of Sacks - A Partial Solution on the Positive Side
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...
Andrew E. M. Lewis
CIE
2005
Springer
15 years 10 months ago
Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
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...
George Barmpalias