On the Constructive Hahn-Banach Theorem

DOI10.1112/BLMS/21.1.79MaRDI QIDQ3779263zbMATHOpenAlexFDO

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

Hahn-Banach theoremuniformly convexGâteaux differentiableexistence of the extension of a linear functional

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)

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

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)