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