Nuprl Definition : Paasche-alg-1
Paasche-alg-1(k) == Longs-algorithm(λi.if (i =z 0) then 1 else 0 fi ;λa.a;k;0;k)
Definitions occuring in Statement :
Longs-algorithm: Longs-algorithm(h;n;a;b;c),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
Longs-algorithm: Longs-algorithm(h;n;a;b;c),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
Paasche-alg-1
Latex:
Paasche-alg-1(k) == Longs-algorithm(\mlambda{}i.if (i =\msubz{} 0) then 1 else 0 fi ;\mlambda{}a.a;k;0;k)
Date html generated:
2016_05_15-PM-10_02_52
Last ObjectModification:
2015_09_23-AM-08_21_57
Theory : power!series
Home
Index