The principle of pointfree continuity (Q3121524)

From MaRDI portal
Revision as of 18:36, 18 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The principle of pointfree continuity
scientific article

    Statements

    author
    Tatsuji Kawai
    0 references
    Giovanni Sambin
    0 references
    publication date
    18 March 2019
    0 references
    zbMATH Keywords
    constructive mathematics
    0 references
    pointfree topology
    0 references
    continuity principle
    0 references
    spatiality
    0 references
    choice sequences
    0 references
    Baire space
    0 references
    real numbers
    0 references
    arXiv classification
    cs.LO
    0 references
    math.LO
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F60
    0 references
    06D22
    0 references
    54C05
    0 references
    zbMATH DE Number
    7037622
    0 references
    arXiv ID
    1802.04512
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3121524&oldid=36480616"
    Powered by MediaWiki