Existence and Uniqueness of the Real Numbers -- Kiril Datchev, February 8, 2005

<p>

The notion of a complete ordered field is defined, and an example 
is constructed taking as given the rational numbers. An isomorphism 
of ordered fields is then defined, and the constructed example is 
shown to be unique up to such an isomorphism.