Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-26T07:30:23.201Z Has data issue: false hasContentIssue false
  • English
  • Français

Geometric Hahn-Banach theorem

Published online by Cambridge University Press:  22 February 2006

THIERRY COQUAND
THIERRY COQUAND
Affiliation:
Department of Computing Science, Chalmers University of Technology, SC-41296 Goteborg, Sweden. e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We give a simple constructive proof of a geometric form of Hahn-Banach theorem, simplifying a proof in [5].

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 140 , Issue 2 , March 2006 , pp. 313 - 315
Copyright
2006 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)