Nuprl Definition : natset
natset(n) == primrec(n;{};λi,r. (r)+)
Definitions occuring in Statement :
plus-set: (a)+,
emptyset: {},
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
plus-set: (a)+,
lambda: λx.A[x],
emptyset: {},
primrec: primrec(n;b;c)
FDL editor aliases :
natset
Latex:
natset(n) == primrec(n;\{\};\mlambda{}i,r. (r)+)
Date html generated:
2018_05_29-PM-01_49_30
Last ObjectModification:
2018_05_24-PM-11_27_09
Theory : constructive!set!theory
Home
Index