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
FDL editor aliases :  mkibs
Latex:
mkibs(n.p[n])  ==    \mlambda{}n.if  p[n]  then  1  else  0  fi 


Date html generated: 2020_05_20-PM-00_03_40
Last ObjectModification: 2019_12_13-PM-02_39_56

Theory : reals


Home Index