Nuprl Definition : ses-thread-member
e ∈ thr == ∃i:ℕ||thr||. (e = thr[i] ∈ E)
Definitions occuring in Statement :
es-E: E,
select: L[n],
length: ||as||,
int_seg: {i..j-},
exists: ∃x:A. B[x],
natural_number: $n,
equal: s = t ∈ T
FDL editor aliases :
ses-thread-member
Latex:
e \mmember{} thr == \mexists{}i:\mBbbN{}||thr||. (e = thr[i])
Date html generated:
2015_07_23-PM-00_09_58
Last ObjectModification:
2012_08_30-PM-04_27_56
Home
Index