Nuprl Definition : enum-fin-seq-max
enum-fin-seq-max(M;m) == imax-list(map(λs.(M s);enum-fin-seq(m)))
Definitions occuring in Statement :
enum-fin-seq: enum-fin-seq(m),
imax-list: imax-list(L),
map: map(f;as),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
imax-list: imax-list(L),
map: map(f;as),
lambda: λx.A[x],
apply: f a,
enum-fin-seq: enum-fin-seq(m)
FDL editor aliases :
enum-fin-seq-max
Latex:
enum-fin-seq-max(M;m) == imax-list(map(\mlambda{}s.(M s);enum-fin-seq(m)))
Date html generated:
2016_05_14-PM-09_46_41
Last ObjectModification:
2015_10_21-PM-06_55_03
Theory : continuity
Home
Index