Nuprl Definition : evodd-zero
evodd-zero() == pW-sup(inl Ax;λx.x)
Definitions occuring in Statement :
pW-sup: pW-sup(a;f),
lambda: λx.A[x],
inl: inl x,
axiom: Ax
Definitions occuring in definition :
pW-sup: pW-sup(a;f),
inl: inl x,
axiom: Ax,
lambda: λx.A[x]
FDL editor aliases :
evodd-zero
Latex:
evodd-zero() == pW-sup(inl Ax;\mlambda{}x.x)
Date html generated:
2016_05_14-AM-06_14_38
Last ObjectModification:
2015_09_22-PM-05_47_13
Theory : co-recursion
Home
Index