Nuprl Definition : WCPR
WCPR(F;x;G) == WCP(λf.(F regularize(1;f));x;G)
Definitions occuring in Statement :
regularize: regularize(k;f),
WCP: WCP(F;f;G),
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
regularize: regularize(k;f),
apply: f a,
lambda: λx.A[x],
WCP: WCP(F;f;G)
FDL editor aliases :
WCPR
Latex:
WCPR(F;x;G) == WCP(\mlambda{}f.(F regularize(1;f));x;G)
Date html generated:
2017_10_03-AM-10_06_08
Last ObjectModification:
2017_09_12-AM-09_57_52
Theory : reals
Home
Index