Content deleted Content added
Hans Adler (talk | contribs) →References: specialise category |
|||
Line 8:
:<math>\,\mathrm{st}(x)=x_0</math>.
The existence of the standard part function is a consequence of the [[completeness of the reals]] or the fact that [[finite]]
The standard part function "st" is not an [[internal set|internal object]].
|