Nuprl Definition : Set
Set{i:l} == W(Type;x.x)
Definitions occuring in Statement :
W: W(A;a.B[a]),
universe: Type
Definitions occuring in definition :
universe: Type,
W: W(A;a.B[a])
FDL editor aliases :
Set
Latex:
Set\{i:l\} == W(Type;x.x)
Date html generated:
2018_05_22-PM-09_47_34
Last ObjectModification:
2018_05_16-PM-01_31_06
Theory : constructive!set!theory
Home
Index