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:
2015_07_23-AM-11_15_59
Last ObjectModification:
2012_02_25-PM-03_44_10
Home
Index