Nuprl Definition : min-inc-seq

min-inc-seq(a;n;k) ==  case min-increasing-sequence(a;n;k) of inl(x) => x | inr(x) => n


Definitions occuring in Statement :  min-increasing-sequence: min-increasing-sequence(a;n;k),  decide: case b of inl(x) => s[x] | inr(y) => t[y]
Definitions occuring in definition :  min-increasing-sequence: min-increasing-sequence(a;n;k),  decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases :  min-inc-seq
Latex:
min-inc-seq(a;n;k)  ==    case  min-increasing-sequence(a;n;k)  of  inl(x)  =>  x  |  inr(x)  =>  n


Date html generated: 2017_04_20-AM-07_36_53
Last ObjectModification: 2017_04_18-AM-10_51_43

Theory : continuity


Home Index