Nuprl Definition : std-infinitesmal
∈ == λn.(r1/r(n + 1))
Definitions occuring in Statement :
rdiv: (x/y),
int-to-real: r(n),
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
rdiv: (x/y),
int-to-real: r(n),
add: n + m,
natural_number: $n
FDL editor aliases :
std-infinitesmal
Latex:
\mmember{} == \mlambda{}n.(r1/r(n + 1))
Date html generated:
2018_05_22-PM-09_28_58
Last ObjectModification:
2017_10_06-PM-04_11_09
Theory : reals_2
Home
Index