Restricting uniformly open surjections (Q2408526)

The paper gives an example of reasoning by absoluteness; said differently: by the method of elementary submodels. It strengthens a result of [\textit{R. M. Aron} et al., Ann. Acad. Sci. Fenn., Math. 42, No. 2, 525--534 (2017; Zbl 1390.46023)], and says the following: 1. If \(X,Y\) are metric spaces with \(X\) complete, \(f:X\to Y\) is surjective, continuous and uniformly open, then \(X\) contains a closed subspace \(Z\) of the same density as \(Y\) such that \(f|_{Z}\) is surjective and \textit{uniformly open}. 2. If, moreover, \(X\) is a Banach space, then \(Z\) may be chosen a closed linear subspace. 3. If \(X,Y\) are uniform spaces with \(X\) super-complete, \(f:X\to Y\) is surjective, continuous and uniformly open, then \(X\) contains a closed subspace \(Z\) of the same density as \(Y\) such that \(f|_{Z}\) is surjective and \textit{uniformly open}.