Nuprl Definition : is-standard
is-standard(x) == ∃r:ℝ. x = (r)*
Definitions occuring in Statement :
rstar: (x)*,
req*: x = y,
real: ℝ,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
real: ℝ,
req*: x = y,
rstar: (x)*
FDL editor aliases :
is-standard
Latex:
is-standard(x) == \mexists{}r:\mBbbR{}. x = (r)*
Date html generated:
2018_05_22-PM-09_28_33
Last ObjectModification:
2017_10_06-PM-03_36_49
Theory : reals_2
Home
Index