Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657)

From MaRDI portal
scientific article; zbMATH DE number 1369578
Language Label Description Also known as
English
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
scientific article; zbMATH DE number 1369578

    Statements

    Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (English)
    0 references
    0 references
    0 references
    9 May 2000
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    intuitionistic set theory
    0 references
    topos theory
    0 references
    extension of Martin-Löf's intensional set theory
    0 references
    set constructor
    0 references
    extensionality
    0 references
    0 references