Nuprl Definition : mkibs

mkibs(n.p[n]) ==  λn.if p[n] then 1 else 0 fi 


Definitions occuring in Statement :  ifthenelse: if b then t else f fi ,  lambda: λx.A[x],  natural_number: $n
Definitions occuring in definition :  lambda: λx.A[x],  ifthenelse: if b then t else f fi ,  natural_number: $n
FDL editor aliases :  mkibs
Latex:
mkibs(n.p[n])  ==    \mlambda{}n.if  p[n]  then  1  else  0  fi 


Date html generated: 2019_10_30-AM-10_15_45
Last ObjectModification: 2019_06_28-PM-01_55_37

Theory : real!vectors


Home Index