On constructing completions (Q5718698)

From MaRDI portal
scientific article; zbMATH DE number 2247455
Language Label Description Also known as
English
On constructing completions
scientific article; zbMATH DE number 2247455

    Statements

    On constructing completions (English)
    0 references
    0 references
    0 references
    0 references
    16 January 2006
    0 references
    constructive set theory
    0 references
    completions
    0 references
    Dedekind cuts
    0 references
    Dedekind reals
    0 references
    metric space
    0 references

    Identifiers

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