Nuprl Definition : int-prod
Π(f[x] | x < k) == primrec(k;1;λx,n. (n * f[x]))
Definitions occuring in Statement :
primrec: primrec(n;b;c),
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
primrec: primrec(n;b;c),
natural_number: $n,
lambda: λx.A[x],
multiply: n * m
FDL editor aliases :
int-prod
Latex:
\mPi{}(f[x] | x < k) == primrec(k;1;\mlambda{}x,n. (n * f[x]))
Date html generated:
2016_05_14-AM-07_33_43
Last ObjectModification:
2015_09_22-PM-05_46_40
Theory : int_2
Home
Index