We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
372 \(\Rightarrow\) 0 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
372: | Generalized Hahn-Banach Theorem: Assume that \(X\) is a real vector space, \((Z,\preccurlyeq)\) is a Dedekind complete ordered vector space and \(X_0\) is a subspace of \(X\). If \(\lambda_0 : X_0 \to Z\) is linear and \(p: X\to Z\) is sublinear and if \(\lambda_0 \preccurlyeq p\) on \(X_0\) then \(\lambda_0\) can be extended to a linear map \(\lambda : X\to Z\) such that \(\lambda \preccurlyeq p\) on \(X\). \ac{Schechter} \cite{1996b} |
0: | \(0 = 0\). |
Comment: