455 research outputs found

    Randomness extraction and asymptotic Hamming distance

    Full text link
    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

    Full text link
    We introduce the notion of feedback computable functions from 2ω2^\omega to 2ω2^\omega, extending feedback Turing computation in analogy with the standard notion of computability for functions from 2ω2^\omega to 2ω2^\omega. 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
    • …
    corecore