Publication:3001098
From MaRDI portal
zbMath1269.03056MaRDI QIDQ3001098
Publication date: 31 May 2011
46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
03F10: Functionals in proof theory
Related Items
Gödel functional interpretation and weak compactness, On quantitative versions of theorems due to F. E. Browder and R. Wittmann, On the computational content of the Bolzano-Weierstraß Principle