Nuprl Definition : series-converges
Σn.x[n]↓ == ∃a:ℝ. Σn.x[n] = a
Definitions occuring in Statement :
series-sum: Σn.x[n] = a,
real: ℝ,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
real: ℝ,
series-sum: Σn.x[n] = a
FDL editor aliases :
series-converges
series-converges
Latex:
\mSigma{}n.x[n]\mdownarrow{} == \mexists{}a:\mBbbR{}. \mSigma{}n.x[n] = a
Date html generated:
2016_05_18-AM-07_57_45
Last ObjectModification:
2015_09_23-AM-09_03_08
Theory : reals
Home
Index