Nuprl Definition : inhabited-rat-cube
Inhabited(c) == bdd-all(k;i.Inhabited(c i))
Definitions occuring in Statement :
inhabited-rat-interval: Inhabited(I),
bdd-all: bdd-all(n;i.P[i]),
apply: f a
Definitions occuring in definition :
apply: f a,
inhabited-rat-interval: Inhabited(I),
bdd-all: bdd-all(n;i.P[i])
FDL editor aliases :
inhabited-rc
inhabited-rc
Latex:
Inhabited(c) == bdd-all(k;i.Inhabited(c i))
Date html generated:
2019_10_29-AM-07_51_30
Last ObjectModification:
2019_10_17-PM-04_35_34
Theory : rationals
Home
Index