James Forsythe Hall
Published 2011-01-29Version 1
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, we present a short construction of the real numbers using methods from nonstandard analysis.
Frege's Theory of Real Numbers: A consistent Rendering
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
The unreasonable effectiveness of Nonstandard Analysis
![QR code for arXiv:1101.5652 [math.LO]](http://oss.arxitics.com/images/favicon.svg)