Nuprl Definition : ses-thread
Thread == {thr:Act List| ∀i:ℕ||thr|| - 1. (thr[i] <loc thr[i + 1])}
Definitions occuring in Statement :
ses-act: Act,
es-locl: (e <loc e'),
select: L[n],
length: ||as||,
list: T List,
int_seg: {i..j-},
all: ∀x:A. B[x],
set: {x:A| B[x]} ,
subtract: n - m,
add: n + m,
natural_number: $n
FDL editor aliases :
ses-thread
Latex:
Thread == \{thr:Act List| \mforall{}i:\mBbbN{}||thr|| - 1. (thr[i] <loc thr[i + 1])\}
Date html generated:
2015_07_23-PM-00_09_36
Last ObjectModification:
2012_08_30-PM-04_27_30
Home
Index