Nuprl Definition : pi-rank-choices
pi-rank-choices(compList) == if (0 =z ||compList||) then 0 else imax-list(map(λcmp.pi-rank(snd(cmp));compList)) fi
Definitions occuring in Statement :
pi-rank: pi-rank(p),
imax-list: imax-list(L),
map: map(f;as),
length: ||as||,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
pi2: snd(t),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
pi-rank-choices
Latex:
pi-rank-choices(compList) ==
if (0 =\msubz{} ||compList||) then 0 else imax-list(map(\mlambda{}cmp.pi-rank(snd(cmp));compList)) fi
Date html generated:
2015_07_23-AM-11_33_20
Last ObjectModification:
2012_08_30-PM-01_18_43
Home
Index