On some peculiar aspects of the constructive theory of point-free spaces (Q3583800)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On some peculiar aspects of the constructive theory of point-free spaces
scientific article

    Statements

    On some peculiar aspects of the constructive theory of point-free spaces (English)
    0 references
    0 references
    18 August 2010
    0 references
    locale
    0 references
    formal space
    0 references
    constructive set theory
    0 references
    constructive type theory
    0 references
    topos logic
    0 references
    independence results
    0 references
    uniformity principle
    0 references

    Identifiers

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