No label defined (Q4540525)

From MaRDI portal
scientific article; zbMATH DE number 1770056
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1770056

    Statements

    25 July 2002
    0 references
    axiom of comprehension
    0 references
    subtype
    0 references
    typed lambda calculus
    0 references
    subspace topology
    0 references
    locally compact spaces
    0 references
    nucleus of a locale
    0 references
    injective object
    0 references
    monadic adjunction
    0 references
    Beck's theorem
    0 references

    Identifiers

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