Nuprl Definition : isSet
isSet(w) == coW-wfdd(x.x;w)
Definitions occuring in Statement :
coW-wfdd: coW-wfdd(a.B[a];w)
Definitions occuring in definition :
coW-wfdd: coW-wfdd(a.B[a];w)
FDL editor aliases :
isSet
Latex:
isSet(w) == coW-wfdd(x.x;w)
Date html generated:
2018_07_29-AM-09_50_35
Last ObjectModification:
2018_07_24-PM-00_03_41
Theory : constructive!set!theory
Home
Index