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