Locatedness and overt sublocales (Q638474)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Locatedness and overt sublocales
scientific article

    Statements

    Locatedness and overt sublocales (English)
    0 references
    0 references
    12 September 2011
    0 references
    formal spaces
    0 references
    constructive mathematics
    0 references
    constructive locale theory
    0 references
    Bishop compact set
    0 references
    formal topology
    0 references
    locatedness
    0 references
    Vietoris locale
    0 references
    overt sublocales
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers