Nuprl Definition : q-rng-nexp
q-rng-nexp(r;n) == r ↑<ℚ+*> n
Definitions occuring in Statement :
qrng: <ℚ+*>,
rng_nexp: e ↑r n
Definitions occuring in definition :
rng_nexp: e ↑r n,
qrng: <ℚ+*>
FDL editor aliases :
q-rng-nexp
Latex:
q-rng-nexp(r;n) == r \muparrow{}<\mBbbQ{}+*> n
Date html generated:
2016_05_15-PM-11_06_23
Last ObjectModification:
2015_09_23-AM-08_27_43
Theory : rationals
Home
Index