Bridges, Douglas; Ishihara, Hajime; Vîţă, Luminiţa A new constructive version of Baire’s theorem. (English) Zbl 1111.46058 Hokkaido Math. J. 35, No. 1, 107-118 (2006). 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. Cited in 2 Documents MSC: 46S30 Constructive functional analysis Keywords:Baire’s theorem; open mapping; compactly generated Banach space Software:Nuprl PDF BibTeX XML Cite \textit{D. Bridges} et al., Hokkaido Math. J. 35, No. 1, 107--118 (2006; Zbl 1111.46058) Full Text: DOI OpenURL