Nuprl Definition : std-initial
std-initial(S) == ∀x∈snd(S).(fst(fst(x))) = (-1) ∈ ℤ
Definitions occuring in Statement :
lg-all: ∀x∈G.P[x],
pi1: fst(t),
pi2: snd(t),
minus: -n,
natural_number: $n,
int: ℤ,
equal: s = t ∈ T
FDL editor aliases :
std-initial
Latex:
std-initial(S) == \mforall{}x\mmember{}snd(S).(fst(fst(x))) = (-1)
Date html generated:
2016_05_17-AM-10_51_29
Last ObjectModification:
2012_02_25-PM-03_44_10
Theory : process-model
Home
Index