5 citations · 16 across the 20 of their papers we have counts for
1 paper · 2 filters
Laurent Bienvenu, Christopher Porter
We study generalizations of Demuth's Theorem, which states that the image of a Martin-Löf random real under a tt-reduction is either computable or Turing equivalent to a Martin-Löf…