×

A new constructive version of Baire’s theorem. (English) Zbl 1111.46058

Summary: A new constructive version of Baire’s theorem is given and then applied to two problems in functional analysis. The second of these applications provides a new proof that compactly generated Banach spaces are finite-dimensional.

MSC:

46S30 Constructive functional analysis

Software:

Nuprl
PDF BibTeX XML Cite
Full Text: DOI