Nuprl Definition : ss-empty
ss-empty() == λB.False
Definitions occuring in Statement :
false: False,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
false: False
FDL editor aliases :
ss-empty
Latex:
ss-empty() == \mlambda{}B.False
Date html generated:
2020_05_20-PM-01_22_05
Last ObjectModification:
2018_07_06-PM-01_57_21
Theory : intuitionistic!topology
Home
Index