Nuprl Definition : sg-change-init
g@j == let p,i,l1,l2 = g in <{y:p| sg-reachable(g;j;y)} , j, l1, l2>
Definitions occuring in Statement :
sg-reachable: sg-reachable(g;x;y),
spreadn: spread4,
set: {x:A| B[x]} ,
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
sg-reachable: sg-reachable(g;x;y),
set: {x:A| B[x]} ,
spreadn: spread4
FDL editor aliases :
sg-at
Latex:
g@j == let p,i,l1,l2 = g in <\{y:p| sg-reachable(g;j;y)\} , j, l1, l2>
Date html generated:
2018_07_25-PM-01_34_58
Last ObjectModification:
2018_06_18-PM-01_54_50
Theory : co-recursion
Home
Index