Karel Hrbacek (1944- ) is a Czech-American logician and set theorist.
In the mid-1970s he introduced an axiomatic/syntactic approach, now
called HST, to Robinson's framework for analysis with infinitesimals.
The theory SPOT is a subtheory of both HST and
Hrbacek in MathSciNet
Hrbacek in Google Scholar
Back to infinitesimals