Nicely summarized at http://www.haverford.edu/math/wdavidon/NonStd.html.
See also MinusInfinity
CategoryMath