Abraham Robinson

Abraham Robinson (1918-1974) was an applied mathematician, logician, and inventor of nonstandard analysis (NSA). Building upon earlier work by Skolem (1933), Edwin Hewitt (1948), Łoś (1955) and others, Robinson first introduced NSA in a 1961 article, and then in a 1966 book. In the mid 1970s, an axiomatic/syntactic framework for NSA, called Internal Set Theory (IST), was developed by Edward Nelson. At the same time, Karel Hrbacek developed a different axiomatic/syntactic framework, now called HST. The theory SPOT is a subtheory of both IST and HST.

Robinson at MathSciNet