Tripos theory in retrospect (Q3146242)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tripos theory in retrospect |
scientific article |
Statements
Tripos theory in retrospect (English)
0 references
31 October 2002
0 references
tripos
0 references
complete-Heyting-algebra-valued sets
0 references
effective topos
0 references
hyperdoctrines
0 references
powerobject structure
0 references