Geometric Hahn-Banach theorem

DOI10.1017/S0305004105008935zbMath1095.46046OpenAlexW2148709061MaRDI QIDQ3377471

Thierry Coquand

Publication date: 22 March 2006

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004105008935

zbMATH Keywords

Hahn-Banach theoremcompact convex setsconstructive functional analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Convex sets in topological linear spaces; Choquet theory (46A55) Constructive functional analysis (46S30)

Related Items (9)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Unnamed Item ⋮ Space of valuations ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Ordering groups constructively ⋮ Towards formal Baer criteria

This page was built for publication: Geometric Hahn-Banach theorem