Nuprl Definition : p-open-member
s ∈ C == ∃n:ℕ. ((C <n, s>) = 1 ∈ ℤ)
Definitions occuring in Statement :
nat: ℕ,
exists: ∃x:A. B[x],
apply: f a,
pair: <a, b>,
natural_number: $n,
int: ℤ,
equal: s = t ∈ T
FDL editor aliases :
p-open-member
Latex:
s \mmember{} C == \mexists{}n:\mBbbN{}. ((C <n, s>) = 1)
Date html generated:
2016_05_15-PM-11_48_45
Last ObjectModification:
2008_02_27-PM-05_49_24
Theory : randomness
Home
Index