Nuprl Definition : ss-basic
ss-basic(X) == (Point(X ⟶ ℝ) × ℝ) List
Definitions occuring in Statement :
ss-fun: X ⟶ Y,
real-ss: ℝ,
ss-point: Point(ss),
real: ℝ,
list: T List,
product: x:A × B[x]
Definitions occuring in definition :
list: T List,
product: x:A × B[x],
ss-point: Point(ss),
ss-fun: X ⟶ Y,
real-ss: ℝ,
real: ℝ
FDL editor aliases :
ss-basic
Latex:
ss-basic(X) == (Point(X {}\mrightarrow{} \mBbbR{}) \mtimes{} \mBbbR{}) List
Date html generated:
2020_05_20-PM-01_21_45
Last ObjectModification:
2018_07_06-PM-01_46_33
Theory : intuitionistic!topology
Home
Index