Mutual generics and perfect free subsets (Q1307385)

In this paper, the author is interested in the existence or non-existence, in certain models of set theory, of perfect sets of reals, the elements of which are independent of each other in some strong sense. Here are two of his main theorems. Theorem A: Let \(V,W\) be models of ZFC with \(V\subseteq W\), assume there is a dominating real over \(V\) in \(W\), and let \(r\) be a random real over \(W\). Then there is a perfect set of mutually random reals over \(V\) in \(W[r]\). (A set \(S\subseteq 2^\omega\) is said to be a set of mutally random reals over \(V\) if for every natural number \(n\) and distinct \(x_0,\dots,x_n\in S\), \(x_n\) is random over \(V[x_0,\dots,x_{n-1}]\).) Theorem B: Let \(r\) be random over the constructible universe \(L\). Then there is no perfect set of mutually non-constructible reals in \(L[r]\). (A set \(S\subseteq 2^{\omega}\) is said to be a set of mutually non-constructible reals if for every natural number \(n\) and distinct \(x_0,\dots,x_n\in S\), we have \(x_n\notin L[x_0,\dots,x_{n-1}]\).) For \(f: \mathbb R^n\to \mathbb R\), a set \(A\subseteq \mathbb R\) is said to be free for \(f\) if for all \((a_0,\dots,a_{n-1})\in A^n\), we have \(f(a_0,\dots,a_{n-1})\in(\mathbb R\backslash A)\cup\{a_0,\dots,a_{n-1}\}\). In the later part of the paper, the author presents a number of results on the consistency of the existence of perfect free subsets for projective functions \(f:(\omega^{\omega})^n\to \omega^{\omega}\).