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. Multi-level nonstandard analysis and the Axiom of Choice.
Journal of Logic and Analysis 16:5 (2024), 1-29.
https://doi.org/10.4115/jla.2024.16.5,
https://arxiv.org/abs/2405.00621
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
Videos
Fermat
Leibniz
Euler
Cauchy
Riemann
Cantor
Skolem
Robinson
Nelson
Kanovei
Infinitesimal topics
Back to infinitesimals