Compactness Under Constructive Scrutiny
The aim of this thesis is to understand the constructive scope of compactness. We show that it is possible to define, constructively, a meaningful notion of compactness in a more general setting than the uniform/metric space one. Furthermore, we show that it is not possible to define compactness cons...
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
University of Canterbury. Mathematics and Statistics
2008
|
| Online Access: | http://hdl.handle.net/10092/1823 |