Nuprl Definition : p-measure-le
measure(C) ≤ q == ∀n:ℕ. E(n;λs.(C <n, s>)) < q
Definitions occuring in Statement :
expectation: E(n;F),
qless: r < s,
nat: ℕ,
all: ∀x:A. B[x],
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
p-measure-le
Latex:
measure(C) \mleq{} q == \mforall{}n:\mBbbN{}. E(n;\mlambda{}s.(C <n, s>)) < q
Date html generated:
2016_05_15-PM-11_48_50
Last ObjectModification:
2008_02_27-PM-05_49_27
Theory : randomness
Home
Index