Nuprl Definition : qmax-list

qmax-list(L) ==  combine-list(x,y.qmax(x;y);L)


Definitions occuring in Statement :  qmax: qmax(x;y),  combine-list: combine-list(x,y.f[x; y];L)
Definitions occuring in definition :  combine-list: combine-list(x,y.f[x; y];L),  qmax: qmax(x;y)
FDL editor aliases :  qmax-list
Latex:
qmax-list(L)  ==    combine-list(x,y.qmax(x;y);L)


Date html generated: 2016_05_15-PM-10_43_02
Last ObjectModification: 2015_09_23-AM-08_27_11

Theory : rationals


Home Index