The problem for the Hyperreals for many applications is that aren’t uniquely ordered (sadly I can’t remember the name of the thing you need to define to get a unique ordering).
Ultrafilter
The problem for the Hyperreals for many applications is that aren’t uniquely ordered (sadly I can’t remember the name of the thing you need to define to get a unique ordering).
Ultrafilter