Nuprl Definition : run-initialization
run-initialization(r;G) == ∀x∈G.∀e:runEvents(r). fst(fst(x)) < 1
Definitions occuring in Statement :
runEvents: runEvents(r),
lg-all: ∀x∈G.P[x],
less_than: a < b,
pi1: fst(t),
all: ∀x:A. B[x],
natural_number: $n
FDL editor aliases :
run-initialization
Latex:
run-initialization(r;G) == \mforall{}x\mmember{}G.\mforall{}e:runEvents(r). fst(fst(x)) < 1
Date html generated:
2015_07_23-AM-11_15_50
Last ObjectModification:
2012_02_25-PM-03_44_02
Home
Index