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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Compactness Under Constructive Scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.
Bounded Variation Implies Regulated: A Constructive Proof.Douglas Bridges & Ayan Mahalanobis - 2001 - Journal of Symbolic Logic 66 (4):1695-1700.
Citations of this work BETA
Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.
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.
A Constructive Treatment of Urysohn's Lemma in an Apartness Space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
Reclassifying the Antithesis of Specker’s Theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
Extending Strongly Continuous Functions Between Apartness Spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
Tychonoff Products of Compact Spaces in ZF and Closed Ultrafilters.Kyriakos Keremedis - 2010 - Mathematical Logic Quarterly 56 (5):474-487.
Separation Properties in Neighbourhood and Quasi-Apartness Spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
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
4 ( #1,282,842 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
2013-12-01
Total views
4 ( #1,282,842 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
How can I increase my downloads?
Downloads
