Nicely summarized at http://www.haverford.edu/math/wdavidon/NonStd.html.

See also MinusInfinity
----
CategoryMath