Liouville numbers and Schanuel's conjecture (Q2447668)

In the paper the authors extend previous results on Liouville numbers. Among other results the author prove the following theorem. Theorem. For a complete locally connected topological space \(X\) and a real interval \(I\) let \(f_n:X\to I\) be a sequence of continuous nowhere locally constant functions. Let \(G_n\) be \(G_\delta\) subsets of \(I\). Then \(\bigcap_{n\in\mathbb N} f_n^{-1}(G_n)\) is a \(G_\delta\) subset of \(X\). Erdős proved that every real number \(x\) can be written as \(x=a+b=cd\) for some Liouville numbers \(a,b,c,d\). As a consequence of the mentioned theorem the authors prove that every real number \(x\) can be written as \(x=f^2+g^2=e^h+i=e^j+e^k\) for some Liouville numbers \(f,g,h,i,j,k\). The authors also prove some results on algebraic independence related with Liouville numbers, for example the following theorem. Theorem. Let \(1\leq m\leq n\) be given integers. Then there exist uncountably many \(n\)-tuples \((\alpha_1,\dots,\alpha_n)\) of Liouville numbers such that \(\alpha_1,\dots,\alpha_n\) are linearly independent over \(\mathbb Q\), that \(e^{\alpha_i}\) are Liouville numbers and that the transcendence degree of \(\mathbb Q(\alpha_1,\dots,\alpha_n,e^{\alpha_1},\dots,e^{\alpha_n})\) over \(\mathbb Q\) equals \(m+n\).