Generalising compactness

Mathematical Logic Quarterly 54 (1):49-57 (2008)

Abstract
Working within the framework of Bishop's constructive mathematics, we will show that it is possible to define compactness in a more general setting than that of uniform spaces. It is also shown that it is not possible to do this in a topological space
Keywords apartness spaces  compactness  Constructive mathematics
Categories (categorize this paper)
DOI 10.1002/malq.200710041
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,685
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Compactness Under Constructive Scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.

Add more references

Citations of this work BETA

Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.

Add more citations

Similar books and articles

Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Product a-Frames and Proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
On Local Non‐Compactness in Recursive Mathematics.Jakob G. Simonsen - 2006 - Mathematical Logic Quarterly 52 (4):323-330.
Reclassifying the Antithesis of Specker’s Theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
Compactness of Loeb Spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.

Analytics

Added to PP index
2013-12-01

Total views
3 ( #1,213,597 of 2,280,794 )

Recent downloads (6 months)
1 ( #839,031 of 2,280,794 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature