On the Constructive Hahn-Banach Theorem

DOI10.1112/blms/21.1.79zbMath0638.46056OpenAlexW2083701356MaRDI QIDQ3779263

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

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

Related Items (19)

UNIFORM SMOOTHNESS ENTAILS HAHN-BANACH ⋮ The Hahn-Banach Property and the Axiom of Choice ⋮ The Hahn-Banach theorem: The life and times ⋮ Unnamed Item ⋮ Locating the range of an operator with an adjoint ⋮ Seven Kinds of Computable and Constructive Infelicities in Economics ⋮ Locating subsets of a Hilbert space ⋮ Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ Constructive compact operators on a Hilbert space ⋮ McShane-Whitney pairs ⋮ Constructive Reflexivity of a Uniformly Convex Banach Space ⋮ Constructive closed range and open mapping theorems ⋮ Powers of positive elements in C *-algebras ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Uncomputability and undecidability in economic theory ⋮ 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

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