## Contents (2011)

### Cached

### Download Links

by
Gertrud Bauer

### BibTeX

@MISC{Bauer11contents,

author = {Gertrud Bauer},

title = {Contents},

year = {2011}

}

### OpenURL

### Abstract

The Hahn-Banach Theorem is one of the most fundamental results in functional analysis. We present a fully formal proof of two versions of the theorem, one for general linear spaces and another for normed spaces. This development is based on simply-typed classical set-theory, as provided by