The uniform boundedness theorem and a boundedness principle

DOI10.1016/J.APAL.2011.12.027MaRDI QIDQ424547zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A continuity principle, a version of Baire's theorem and a boundedness principle
• scientific article; zbMATH DE number 7099
• Some observations on local uniform boundedness principles
• The uniform boundedness principle for bornological vector spaces
• A logical uniform boundedness principle for abstract metric and hyperbolic spaces

Cites work

• scientific article; zbMATH DE number 1665440 (Why is no real title available?)
• scientific article; zbMATH DE number 1665455 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 1543074 (Why is no real title available?)
• scientific article; zbMATH DE number 2183393 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• A constructive look at the completeness of the space (ℝ)
• A predicative completion of a uniform space
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Continuity properties in constructive mathematics
• Equivalents of the (weak) fan theorem
• Intuitionistic notions of boundedness in ℕ
• On the collection of points of a formal space
• Strong and Uniform Continuity – the Uniform Space Case
• Techniques of constructive analysis
• The crisis in contemporary mathematics
• Two subcategories of apartness spaces

Cited in

(19)

• A constructive study of Landau's summability theorem
• The boundedness principle for lattice-normed spaces
• Bishop-Style Constructive Reverse Mathematics
• Uniform boundedness principle for unbounded operators
• A Really Simple Elementary Proof of the Uniform Boundedness Theorem
• On Brouwer's continuity principle
• The intermediate value theorem: Preimages of compact sets under uniformly continuous functions
• From Uniform Boundedness to the Boundary Between Convergence and Divergence
• Double sequences, almost Cauchyness and BD-N
• A continuity principle, a version of Baire's theorem and a boundedness principle
• scientific article; zbMATH DE number 865516 (Why is no real title available?)
• Quantitative extensions of the uniform boundedness principle
• scientific article; zbMATH DE number 5058900 (Why is no real title available?)
• The uniform boundedness principle for bornological vector spaces
• Computing uniform bounds
• scientific article; zbMATH DE number 11383 (Why is no real title available?)
• THE UNIFORM BOUNDEDNESS PRINCIPLE FOR ARBITRARY LOCALLY CONVEX SPACES
• Intuitionistic sequential compactness?
• The standardization principle in the theory of bounded sets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424547)