Nuprl Lemma : sample reals lemmas
regular-int-seq: k-regular-seq(f);
bdd-diff: bdd-diff(f;g);
real: ℝ;
accelerate: accelerate(k;f);
{ accelerate-bdd-diff };
radd: a + b;
rminus: rminus(x);
rmul: a * b;
req: x = y;
{ radd_functionality };
rmax: rmax(x;y);
rabs: |x|;
rless: x < y;
{ rlessw_wf };
{ rleq-iff4 };
{ converges-iff-cauchy };
{ converges-iff-cauchy-ext };
{ rmul-limit };
{ reals-uncountable-simple };
{ cosine-exists-ext };
{ Taylor-series-converges }⋅
Latex:
regular-int-seq: k-regular-seq(f);
bdd-diff: bdd-diff(f;g);
real: \mBbbR{};
accelerate: accelerate(k;f);
\{ accelerate-bdd-diff \};
radd: a + b;
rminus: rminus(x);
rmul: a * b;
req: x = y;
\{ radd\_functionality \};
rmax: rmax(x;y);
rabs: |x|;
rless: x < y;
\{ rlessw\_wf \};
\{ rleq-iff4 \};
\{ converges-iff-cauchy \};
\{ converges-iff-cauchy-ext \};
\{ rmul-limit \};
\{ reals-uncountable-simple \};
\{ cosine-exists-ext \};
\{ Taylor-series-converges \}\mcdot{}
Date html generated:
2015_07_17-PM-06_21_49
Last ObjectModification:
2014_04_10-PM-02_22_39
Home
Index