Nuprl Definition : nfoldunion
nfoldunion(n) == primrec(n;Top;λn,T. (Top + T))
Definitions occuring in Statement :
primrec: primrec(n;b;c),
top: Top,
lambda: λx.A[x],
union: left + right
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
union: left + right,
top: Top
FDL editor aliases :
nfoldunion
Latex:
nfoldunion(n) == primrec(n;Top;\mlambda{}n,T. (Top + T))
Date html generated:
2016_05_15-PM-03_26_25
Last ObjectModification:
2015_09_23-AM-07_43_18
Theory : general
Home
Index