in From Sets and Types to Topology and Analysis
October 2005; p ublished online September 2007 .
Chapter. Subjects: Logic. 10755 words.
In computable analysis, a computable normed space turns out to be necessarily separable. In classical functional analysis, non-separable spaces occur naturally, for example as dual spaces...
Go to » abstract