Nuprl Definition : ni-max

ni-max(f;g) ==  λi.((f i) ∨b(g i))


Definitions occuring in Statement :  bor: p ∨bq,  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  bor: p ∨bq,  apply: f a
FDL editor aliases :  ni-max
Latex:
ni-max(f;g)  ==    \mlambda{}i.((f  i)  \mvee{}\msubb{}(g  i))


Date html generated: 2016_05_15-PM-01_48_01
Last ObjectModification: 2015_09_23-AM-07_37_11

Theory : basic


Home Index