455 research outputs found
Randomness extraction and asymptotic Hamming distance
We obtain a non-implication result in the Medvedev degrees by studying
sequences that are close to Martin-L\"of random in asymptotic Hamming distance.
Our result is that the class of stochastically bi-immune sets is not Medvedev
reducible to the class of sets having complex packing dimension 1
Feedback computability on Cantor space
We introduce the notion of feedback computable functions from to
, extending feedback Turing computation in analogy with the standard
notion of computability for functions from to . We then
show that the feedback computable functions are precisely the effectively Borel
functions. With this as motivation we define the notion of a feedback
computable function on a structure, independent of any coding of the structure
as a real. We show that this notion is absolute, and as an example characterize
those functions that are computable from a Gandy ordinal with some finite
subset distinguished
- …