Nuprl Definition : is-half-cube

is-half-cube(k;h;c) ==  bdd-all(k;i.is-half-interval(h i;c i))


Definitions occuring in Statement :  is-half-interval: is-half-interval(I;J),  bdd-all: bdd-all(n;i.P[i]),  apply: f a
Definitions occuring in definition :  apply: f a,  is-half-interval: is-half-interval(I;J),  bdd-all: bdd-all(n;i.P[i])
FDL editor aliases :  is-half-cube
Latex:
is-half-cube(k;h;c)  ==    bdd-all(k;i.is-half-interval(h  i;c  i))


Date html generated: 2019_10_29-AM-07_50_47
Last ObjectModification: 2019_10_21-PM-00_51_06

Theory : rationals


Home Index