Tripos theory (Q3897050)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tripos theory
scientific article

    Statements

    Tripos theory (English)
    0 references
    0 references
    0 references
    0 references
    1980
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    realizability toposes
    0 references
    tripos
    0 references
    topos-representing indexed pre-ordered set
    0 references
    hyperdoctrine
    0 references
    topos of P-valued sets
    0 references
    0 references