Does there exist a forcing $P$ which adds a generic real in the sense that $V[G] = V[x]$ for some $x \in ({}^\omega\omega)^{V[G]}$, and for all reals $y \in ({}^\omega\omega)^{V[G]}$, if $V[y] \neq V$, then there exists some $z \in {}^\omega\omega$ such that $V \subsetneq V[z] \subsetneq V[y]$?

Is there a forcing poset $P$ which adds a generic real and in $V[G]$ there are no finite sets $\{z_1, ..., z_n\}$ such that for all reals $V[z] = V[z_i]$ for some $i$, and if $A \subseteq ({}^\omega\omega)^{V[G]}$ and $A \in V[G]$ there exists some $y \in A$ such that $V \subsetneq V[y]$ and $V[y]$ is $\subseteq$ minimal among $\{V[z] : z \in A\}$.

This question is motivated by forcing (like Sack's Forcing) which adds a minimal real degree. Adding finite real degrees means that there is a finite set $\{z_1, .., z_n\}$ such that for all $y$, $V[y] = V[z_i]$ for some $i$.

I am interested in the behavior of forcing extension that do not add finite real degrees. The two questions above can be phrased differently as follows: For the first question I want to know if there is a generic extension such that the proper intermediate extensions given by reals are not well-founded under $\subseteq$. The second question, is whether there is a extension that does not add finite real degrees whose proper intermediate extensions given by reals are well-founded in the sense above.

Thanks for any information.

1more comment