A Banach space block finitely universal for monotone bases (Q4942863)

``A reflexive Banach space \(X\) with a basis \((e_i)\) is constructed having the property that every monotone basis is block finitely representable in each block basis of \(X\)'' -- author's abstract. The most important notions used in the paper are: \(c_{00}\) -- the linear space of all finitely supported real valued functions on \(\mathbb N\); For \(E, F \subseteq \mathbb N\), ''\(E \subseteq F\)'' means that \(\max E < \min F\); For a sequence of nonzero elements \((x_i) \subset c_{00}\), \(x_1 < x_2 < \dots{}\) means that supp \(x_1 \subset\) supp \(x_2 \subset \dots{}\); Basic sequences \((x_i)\) and \((y_i)\) are \(C\)-equivalent if for some constants \(\alpha, \beta\) with \(\alpha^{-1} \beta \leq\) C, we have \(\alpha \|\sum a_i x_i\|\leq \|\sum a_i y_i\|\leq \beta \|\sum a_i x_i\|\) for all \((a_i) \subset c_{00}\); A basic sequence \((z_i)\) is block finitely represented in a basic sequence \((x_i)\) if for all \(\varepsilon >0\) and \(n \in \mathbb N\) there exists a block basis \((y_i)_1^n\) of \((x_i)\) wich is \((1+\varepsilon)\)-equivalent to \((z_i)_1^n\). The main result of the paper is: Let \((y_i)\) be any block basis of \((e_i)\) in \(X\). ``Let \((f_i)_1^n\) be any block finite monotone basis. Then \((f_i)_1^n\) is block finitely represented in \((y_i)\)''.