I've been looking into non-standard analysis and number systems in my own time (I'm one of those students), Surreal numbers, Hyperreal numbers, etc. Although the Surreal numbers are not a set (and therefore I am adamant they don't really exist), the Hyperreal numbers, as far as I have read, are. A totally ordered set, in fact, in which the real numbers are embedded.
But, unlike the Reals, the Hyperreals are not Dedekind-complete. If we take the set:
It is bounded above by 2 (and 1.1, and 1.001, etc.), but has no least upper bound. But, from what I've read, it should always be possible to "complete" a space, by Dedekind cuts. So we can define a number, call it , as such:
Now, so far I'd understood the whole process, but there is one thing that has me stumped: What are the characteristics of this number? What is ? etc. How are such things investigated? Have I constructed it properly?
Thanks in advance!