Nuprl Definition : pcw-pp-null
pcw-pp-null(pp) == let n,ss = pp in n ≤z 0
Definitions occuring in Statement :
le_int: i ≤z j,
spread: spread def,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
le_int: i ≤z j,
natural_number: $n
FDL editor aliases :
pcw-pp-null
Latex:
pcw-pp-null(pp) == let n,ss = pp in n \mleq{}z 0
Date html generated:
2016_05_14-AM-06_13_00
Last ObjectModification:
2015_09_22-PM-05_47_07
Theory : co-recursion
Home
Index