The uniform boundedness theorem and a boundedness principle

DOI10.1016/J.APAL.2011.12.027zbMath1251.03087OpenAlexW1969862237MaRDI QIDQ424547

Hajime Ishihara

Publication date: 1 June 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.027

zbMATH Keywords

constructive mathematicstopological vector spaceconstructive reverse mathematicsboundedness principleconstructive recursive mathematicsintuitionistic mathematicsuniform boundedness theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30) Intuitionistic mathematics (03F55)

Related Items (3)

Intuitionistic sequential compactness? ⋮ On Brouwer's continuity principle ⋮ Bishop-Style Constructive Reverse Mathematics

Cites Work

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• A predicative completion of a uniform space
• Two subcategories of apartness spaces
• Equivalents of the (weak) fan theorem
• Techniques of constructive analysis
• The crisis in contemporary mathematics
• On the collection of points of a formal space
• Continuity properties in constructive mathematics
• A constructive look at the completeness of the space (ℝ)
• Strong and Uniform Continuity – the Uniform Space Case
• Intuitionistic notions of boundedness in ℕ
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The uniform boundedness theorem and a boundedness principle