Nuprl Definition : strong-continuity-test
strong-continuity-test(M;n;f;b) == primrec(n;b;λi,r. if isl(M i f) then inr Ax else r fi )
Definitions occuring in Statement :
primrec: primrec(n;b;c),
ifthenelse: if b then t else f fi ,
isl: isl(x),
apply: f a,
lambda: λx.A[x],
inr: inr x ,
axiom: Ax
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
isl: isl(x),
apply: f a,
inr: inr x ,
axiom: Ax
FDL editor aliases :
strong-continuity-test
Latex:
strong-continuity-test(M;n;f;b) == primrec(n;b;\mlambda{}i,r. if isl(M i f) then inr Ax else r fi )
Date html generated:
2016_05_14-PM-09_33_41
Last ObjectModification:
2015_09_22-PM-06_03_31
Theory : continuity
Home
Index