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.

Hrbacek in MathSciNet

Hrbacek in Google Scholar

Karel Hrbacek's zoom talk at MOPA on 12 dec '23, 1:00pm NY time: Hrbacek's talk on Szemeredi's theorem and video of Hrbacek's talk

Recent papers by Hrbacek:
Hrbacek, K.; Katz, M. Constructing nonstandard hulls and Loeb measures in internal set theories. Bulletin of Symbolic Logic 29 (2023), no. 1, 97-127.
Hrbacek, K.; Katz, M. Effective infinitesimals in ℝ. Real Analysis Exchange 48 (2023), no. 2, 365-380.
Hrbacek, K.; Katz, M. Peano and Osgood theorems via effective infinitesimals. Journal of Logic and Analysis 15:6 (2023), 1-19.
Hrbacek, K.; Katz, M. Infinitesimal analysis without the Axiom of Choice. Annals of Pure and Applied Logic 172 (2021), no. 6, 102959.
Fletcher, P.; Hrbacek, K.; Kanovei, V.; Katz, M.; Lobry, C.; Sanders, S. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange 42 (2017), no. 2, 193-252.









See also
Fermat
Leibniz
Euler
Cauchy
Riemann
Cantor
Skolem
Robinson
Nelson
Kanovei
Infinitesimal topics
Back to infinitesimals