Nuprl Definition : rv-qle
A ≤ B == λs.if q_le(A s;B s) then 1 else 0 fi
Definitions occuring in Statement :
q_le: q_le(r;s),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
rv-qle
Latex:
A \mleq{} B == \mlambda{}s.if q\_le(A s;B s) then 1 else 0 fi
Date html generated:
2016_05_15-PM-11_46_26
Last ObjectModification:
2008_02_27-PM-05_48_25
Theory : randomness
Home
Index