  The existence of partially saturated elementary extensions of the field R of real numbers is the main technical fact behind Abraham Robinson’s nonstandard analysis. See Section 4 of the entry on  model theory for more information on this. Though model theory provided the first steps in nonstandard analysis, this branch of analysis rapidly became a subject in its own right, and its links with first-order model theory today are rather slim.