Generalising compactness

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

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

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710041

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Unique solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
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
2013-12-01

Downloads
13 (#1,031,809)

6 months
8 (#352,539)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.

Add more citations

References found in this work

Compactness under constructive scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.

Add more references