Nuprl Definition : Set-ind

Set-ind() ==  λh,s. W_ind(λa,f,x. (h a f x);s)


Definitions occuring in Statement :  W_ind: W_ind(F;w),  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  apply: f a,  lambda: λx.A[x],  W_ind: W_ind(F;w)
FDL editor aliases :  Set-ind
Latex:
Set-ind()  ==    \mlambda{}h,s.  W\_ind(\mlambda{}a,f,x.  (h  a  f  x);s)


Date html generated: 2018_05_22-PM-09_47_55
Last ObjectModification: 2018_05_16-PM-03_21_35

Theory : constructive!set!theory


Home Index