Apartness, compactness and nearness (Q949606): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.019 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2000254072 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3754620 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Apartness spaces as a framework for constructive topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Journey into Apartness Space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Apartness, Topology, and Uniformity: a Constructive View / rank
 
Normal rank
Property / cites work
 
Property / cites work: Investigation of constructive functions by the method of fillings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5606492 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556988 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5310897 / rank
 
Normal rank

Latest revision as of 17:42, 28 June 2024

scientific article
Language Label Description Also known as
English
Apartness, compactness and nearness
scientific article

    Statements

    Apartness, compactness and nearness (English)
    0 references
    0 references
    0 references
    0 references
    21 October 2008
    0 references
    The paper investigates the possibility of introducing a notion of compactness for apartness spaces. The latter have been proposed as a suitable framework for doing topology constructively, and correspond to the classical theory of proximity spaces. The authors set out to find a definition of compactness that, for uniform spaces, is equivalent to totally boundedness together with completeness, and that is classically equivalent to the usual Heine-Borel definition. The chosen approach is to reconstruct a base of entourages from a given apartness relation. It is shown that this approach almost succeeds and that many interesting properties hold. Unfortunately it is not shown that a uniform space that is compact with respect to the reconstructed uniformity is totally bounded or complete. The paper is of relevance to anybody interested in constructive topology, compactness, and foundations of mathematics.
    0 references
    0 references
    apartness
    0 references
    constructive topology
    0 references
    compact
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references