Nuprl Definition : dep-all
dep-all(n;i.P[i]) == if (n) < (1) then True else :dep-all(n - 1;i.P[i]) ⋂ P[n - 1]
Definitions occuring in Statement :
dep-isect: x:A ⋂ B[x]
,
true: True
,
less: if (a) < (b) then c else d
,
subtract: n - m
,
natural_number: $n
Definitions occuring in definition :
less: if (a) < (b) then c else d
,
true: True
,
dep-isect: x:A ⋂ B[x]
,
subtract: n - m
,
natural_number: $n
FDL editor aliases :
dep-all
Latex:
dep-all(n;i.P[i]) == if (n) < (1) then True else :dep-all(n - 1;i.P[i]) \mcap{} P[n - 1]
Date html generated:
2020_05_19-PM-09_39_44
Last ObjectModification:
2020_03_05-PM-02_48_01
Theory : co-recursion-2
Home
Index