Completion of premetric spaces (Q5855277)

From MaRDI portal
scientific article; zbMATH DE number 7325566
Language Label Description Also known as
English
Completion of premetric spaces
scientific article; zbMATH DE number 7325566

    Statements

    Completion of premetric spaces (English)
    0 references
    0 references
    0 references
    18 March 2021
    0 references
    completion
    0 references
    premetric space
    0 references
    regular families
    0 references
    Cauchy families
    0 references
    constructive mathematics
    0 references

    Identifiers

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