Fields of Mahler's \(U\)-numbers and Schanuel's conjecture (Q2343174)

Let \(n\) and \(t\) be a positive integers and let \(\mathbb C\) and \(\mathbb Q\) be the set of all complex and rational numbers, respectively. Let \(\alpha_1,\dots ,\alpha_n, \beta_0,\dots ,\beta_t\in\mathbb C\) such that \(\alpha_1,\dots ,\alpha_n\) are linearly independent over \(\mathbb Q\), \(\beta_0\not= 0\) and \(\beta_1/\beta_0,\dots ,\beta_t/\beta_0\) are algebraically independent over \(\mathbb Q\). Then the author proves that there exists a \(G_\delta\)-set \(E\) with \(E\subset \mathbb C\) and such that for every \(c\in E\) the numbers \(e^{c\alpha_1},\dots ,e^{c\alpha_n}, c\beta_0,\dots ,c\beta_t\) are algebraically independent over \(\mathbb Q\).