EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098)

From MaRDI portal
scientific article; zbMATH DE number 7303633
Language Label Description Also known as
English
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
scientific article; zbMATH DE number 7303633

    Statements

    EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (English)
    0 references
    0 references
    0 references
    29 January 2021
    0 references
    setoids
    0 references
    exact completion
    0 references
    local Cartesian closure
    0 references
    constructive set theory
    0 references
    categorical logic
    0 references

    Identifiers

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