The uniform boundedness theorem and a boundedness principle

DOI10.1016/J.APAL.2011.12.027zbMATH Open1251.03087OpenAlexW1969862237MaRDI QIDQ424547FDOQ424547

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

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

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)

Cites Work

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

Cited In (19)

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

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)