On the Constructive Hahn-Banach Theorem

DOI10.1112/BLMS/21.1.79MaRDI QIDQ3779263zbMATH OpenOpenAlexFDO

Authors Hajime Ishihara

Publication date 1989

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/blms/21.1.79

zbMATH Keywords

existence of the extension of a linear functionalGâteaux differentiableHahn-Banach theoremuniformly convex

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Constructive functional analysis (46S30)

Cited in

(23)

• Uncomputability and undecidability in economic theory
• Constructive compact operators on a Hilbert space
• The Hahn-Banach theorem: The life and times
• Locating the range of an operator with an adjoint
• McShane-Whitney pairs
• The Hahn-Banach theorem by disjunction elimination
• Locating subsets of a Hilbert space
• Uniformly convex Banach spaces are reflexive -- constructively
• Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
• On the foundations of mathematical economics
• Powers of positive elements in C^*-algebras
• scientific article; zbMATH DE number 3859735 (Why is no real title available?)
• Constructive Reflexivity of a Uniformly Convex Banach Space
• scientific article; zbMATH DE number 5556833 (Why is no real title available?)
• The Hahn-Banach Property and the Axiom of Choice
• UNIFORM SMOOTHNESS ENTAILS HAHN-BANACH
• Seven kinds of computable and constructive infelicities in economics
• Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics
• scientific article; zbMATH DE number 7377989 (Why is no real title available?)
• McShane-Whitney extensions in constructive analysis
• scientific article; zbMATH DE number 5268935 (Why is no real title available?)
• Constructive closed range and open mapping theorems
• Borel complexity and computability of the Hahn-Banach theorem

This page was built for publication: On the Constructive Hahn-Banach Theorem

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