Karel Hrbacek
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
Nelson's IST.
MathSciNet:
Hrbacek in MathSciNet
Google Scholar:
Hrbacek in Google Scholar
See also
Fermat
Leibniz
Euler
Cauchy
Riemann
Cantor
Skolem
Robinson
Nelson
Infinitesimal topics
Back to infinitesimals