Nuprl Definition : rat-cube-dimension

dim(c) ==  if Inhabited(c) then Σ(dim(c i) | i < k) else -1 fi 


Definitions occuring in Statement :  inhabited-rat-cube: Inhabited(c),  rat-interval-dimension: dim(I),  sum: Σ(f[x] | x < k),  ifthenelse: if b then t else f fi ,  apply: f a,  minus: -n,  natural_number: $n
Definitions occuring in definition :  natural_number: $n,  minus: -n,  apply: f a,  rat-interval-dimension: dim(I),  sum: Σ(f[x] | x < k),  inhabited-rat-cube: Inhabited(c),  ifthenelse: if b then t else f fi 
FDL editor aliases :  rc-dim rc-dim
Latex:
dim(c)  ==    if  Inhabited(c)  then  \mSigma{}(dim(c  i)  |  i  <  k)  else  -1  fi 


Date html generated: 2019_10_29-AM-07_51_56
Last ObjectModification: 2019_10_17-PM-04_39_42

Theory : rationals


Home Index