Nuprl Definition : uniform-continuity-pi-pi
ucpB(T;F;n) == ucA(T;F;n) × (∀i:ℕ. (ucA(T;F;i) ⇒ (n ≤ i)))
Definitions occuring in Statement :
uniform-continuity-pi: ucA(T;F;n),
nat: ℕ,
le: A ≤ B,
all: ∀x:A. B[x],
implies: P ⇒ Q,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
all: ∀x:A. B[x],
nat: ℕ,
implies: P ⇒ Q,
uniform-continuity-pi: ucA(T;F;n),
le: A ≤ B
FDL editor aliases :
uniform-continuity-pi-pi
Latex:
ucpB(T;F;n) == ucA(T;F;n) \mtimes{} (\mforall{}i:\mBbbN{}. (ucA(T;F;i) {}\mRightarrow{} (n \mleq{} i)))
Date html generated:
2016_05_14-PM-09_38_58
Last ObjectModification:
2015_09_22-PM-06_03_34
Theory : continuity
Home
Index