On the collection of points of a formal space (Q2575767)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the collection of points of a formal space
scientific article

    Statements

    On the collection of points of a formal space (English)
    0 references
    0 references
    6 December 2005
    0 references
    The paper deals with formal spaces in a range of constructive settings. It is shown that for any formal space \(S\) belonging to some important class of formal spaces (such as locally compact regular formal spaces), the collection Pt\((S)\) of the points of \(S\) is isomorphic to a set. The proof is independent from the constructive foundation adopted, and the proofs that the constructions of the considered classes of points indeed yield sets may be formulated in terms of E. Bishop's naive set and subset theory.
    0 references
    0 references
    0 references
    0 references
    0 references
    classes as sets
    0 references
    uniform formal spaces
    0 references
    gauge structures
    0 references
    (complete) regularity
    0 references
    (local) compactness
    0 references
    0 references