Nuprl Definition : rat-complex-iter-subdiv
K'^(n) == primrec(n;K;λi,c. (c)')
Definitions occuring in Statement :
rat-complex-subdiv: (K)',
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
rat-complex-subdiv: (K)'
FDL editor aliases :
rat-complex-iter-subdiv
Latex:
K'\^{}(n) == primrec(n;K;\mlambda{}i,c. (c)')
Date html generated:
2020_05_20-AM-09_24_10
Last ObjectModification:
2019_10_31-AM-10_01_46
Theory : rationals
Home
Index