4 ms·
I do not see how 1E shows existence. The definition of the natural extension needs the hyperreals in the first place. (reading on mobile, maybe I am missing som
by andi999 5y ago
I do not see how 1E shows existence. The definition of the natural extension needs the hyperreals in the first place. (reading on mobile, maybe I am missing something here)
- bikenaga 5y agoCheck the existence theorem on page 23 (I'm looking at the paper edition): "Let R be the ordered field of real numbers. There is an ordered field extension R* of R and a mapping * from real functions to hyperreal functions (i.e., functions on R*) such that Axioms A - D hold." Note that he just starts with the reals. The actual definition of R* is in the middle of the proof: R* = {tau[epsilon] : tau(x) is an element of T(M)} Note that the proof uses Zorn's lemma, so it's definitely not "constructive" in the strict sense (in case that's what you meant).