### 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;
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