http://www.w3.org/ns/prov#value | - On the other hand, if it???s provable in RCA_0 that Schlumprecht???s space is a counterexample, then that would be evidence that it really is the definition of the norm that???s the culprit, rather than the logical strength of ???there exists a separable Banach space not containing or .???
|