Escaping and generics over ideals

Abstract

We study the relation between the existence of escaping (or hyperimmune) functions and weak 1-genericity using computability over ideals. We prove in particular the existence of an $\mathcal{I}$-escaping function which does not $\mathcal{I}$-compute any weakly $\mathcal{I}$-generic set whenever $\mathcal{I}$ is a countable Turing ideal closed under the existence of diagonally non-computable functions.