Nuprl Definition : phi-star
Phi* == λF.0s^(Phi F)
Definitions occuring in Statement :
mk-finite-nat-seq: f^(n),
zero-seq: 0s,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
mk-finite-nat-seq: f^(n),
apply: f a,
zero-seq: 0s
FDL editor aliases :
phi-star
Latex:
Phi* == \mlambda{}F.0s\^{}(Phi F)
Date html generated:
2016_05_14-PM-09_55_39
Last ObjectModification:
2016_01_15-AM-07_48_45
Theory : continuity
Home
Index