Nuprl Definition : list_of_lists_of_given_size_in_fin_spr
list_of_lists_of_given_size_in_fin_spr(B;k) ==
primrec(k;[[]];
n,rl. l-union-list(list-deq(NatDeq);map(b.list_of_extensions_in_fin_spr(B;b);rl)))
Definitions occuring in Statement :
list_of_extensions_in_fin_spr: list_of_extensions_in_fin_spr(B;b),
map: map(f;as),
lambda: x.A[x],
primrec: primrec(n;b;c),
l-union-list: l-union-list(eq;ll),
list-deq: list-deq(eq),
nat-deq: NatDeq
FDL editor aliases :
list_of_lists_of_given_size_in_fin_spr
list_of_lists_of_given_size_in_fin_spr
list\_of\_lists\_of\_given\_size\_in\_fin\_spr(B;k) ==
primrec(k;[[]];\mlambda{}n,rl. l-union-list(list-deq(NatDeq);map(\mlambda{}b.list\_of\_extensions\_in\_fin\_spr(B;b);rl))\000C)
Date html generated:
2013_03_20-AM-10_36_22
Last ObjectModification:
2013_03_18-PM-10_57_17
Home
Index