A set $A$ is 1-generic if it forces its jump, namely for any $e\in\omega$, there exists $\sigma\preceq A$ such that: $\Phi^{\sigma}\_{e}(e)\downarrow\vee(\forall\tau\succeq\sigma)(\Phi^{\tau}\_{e}(e)\uparrow)$.
Then in Cantor space $2^\omega$, what's the measure of $G=\{f\in2^{\omega}:f$ is 1-generic$\}$?



What's the measure of all 1-generic sets?
It's measure 0. Almost every real is Martin-Löf random, and no random can be 1-generic.




---


Here's a direct argument, which can also be turned into an argument that no 1-generic is ML-random.


For any $n$, we can construct a computable set of strings $X$ which is dense and such that the measure of reals which meet $X$ is at most $2^{-n}$: let $(\sigma\_i)\_{i \in \omega}$ be a computable listing of strings. Let $\tau\_i$ be the lexicographically least string of length at least $n+i+2$ and extending $\sigma\_i$. Let $X = \{\tau\_i : i \in \omega\}$. So the measure of reals extending some element of $X$ is at most $\sum\_i 2^{-n-i-2} \le 2^{-n}$.


Now define $e$ such that $\Phi^A\_e(e)\downarrow$ iff $A$ extends an element of $X$. Since $X$ is dense, the only way to force the jump at $e$ is to extend an element of $X$, so every 1-generic must do so.
So the measure of 1-generics is at most $2^{-n}$. Since $n$ was arbitrary, the measure is 0.


