A new constructive version of Baire's theorem

DOI10.14492/HOKMJ/1285766300zbMath1111.46058OpenAlexW2040678353MaRDI QIDQ2505147

Douglas S. Bridges, Hajime Ishihara, Luminiţa Simona Vîţă

Publication date: 4 October 2006

Published in: Hokkaido Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14492/hokmj/1285766300

zbMATH Keywords

open mappingBaire's theoremcompactly generated Banach space

Mathematics Subject Classification ID

Constructive functional analysis (46S30)

Related Items (2)

The Typical Constructible Object ⋮ A continuity principle, a version of Baire's theorem and a boundedness principle

Uses Software

• Nuprl

This page was built for publication: A new constructive version of Baire's theorem