Embedding $FD(ω)$ into $\mathcal{P}_s$ densely

Abstract

Let $\mathcal{P}_s$ be the lattice of degrees of non-empty $Π_1^0$ subsets of $2^ω$ under Medvedev reducibility. Binns and Simpson proved that $FD(ω)$, the free distributive lattice on countably many generators, is lattice-embeddable below any non-zero element in $\mathcal{P}_s$. Cenzer and Hinman proved that $\mathcal{P}_s$ is dense, by adapting the Sacks Preservation and Sacks Coding Strategies used in the proof of the density of the c.e.\ Turing degrees. With a construction that is a modification of the one by Cenzer and Hinman, we improve on the result of Binns and Simpson by showing that for any $\mathcal{U} <_s \mathcal{V}$, we can lattice embed $FD(ω)$ into $\mathcal{P}_s$ strictly between $deg_s(\mathcal{U})$ and $deg_s(\mathcal{V)}$. We also note that, in contrast to the infinite injury in the proof of the Sacks Density Theorem, in our proof all injury is finite, and that this is also true for the proof of Cenzer and Hinman, if a straightforward simplification is made.