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: 2016_05_17-PM-00_30_44
Last ObjectModification: 2012_08_30-PM-04_27_56

Theory : event-logic-applications


Home Index