I have begun to read about the hyperreals, and am wondering whether the natural extensions of real-valued functions to hyperreal-valued functions is simply a definition of the hyperreals, or can it be proved? Or is it accepted as an axiom?(adsbygoogle = window.adsbygoogle || []).push({});

For example, if f(x) = sin(x), then is the existence of f*(x) = sin*(x) provable, or is it assumed? (f*(x) and sin*(x) represent the natural extensions.)

Thanks!

BiP

**Physics Forums - The Fusion of Science and Community**

# Can the existence of nonstandard hyperreal extensions be proved?

Have something to add?

- Similar discussions for: Can the existence of nonstandard hyperreal extensions be proved?

Loading...

**Physics Forums - The Fusion of Science and Community**