Nuprl Definition : i-finite
i-finite(I) == let l,u = I in (↑isl(l)) ∧ (↑isl(u))
Definitions occuring in Statement :
assert: ↑b,
isl: isl(x),
and: P ∧ Q,
spread: spread def
Definitions occuring in definition :
spread: spread def,
and: P ∧ Q,
assert: ↑b,
isl: isl(x)
FDL editor aliases :
i-finite
i-finite
Latex:
i-finite(I) == let l,u = I in (\muparrow{}isl(l)) \mwedge{} (\muparrow{}isl(u))
Date html generated:
2016_05_18-AM-08_16_57
Last ObjectModification:
2015_09_23-AM-09_05_11
Theory : reals
Home
Index