35 citations · 52 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Effective infinitesimals in R
Karel Hrbacek, Mikhail G. Katz
We survey the effective foundations for analysis with infinitesimals developed by Hrbacek and Katz in 2021, and detail some applications. Theories SPOT and SCOT are conservative ov…
math.LO2023★ 2 cited
Constructing nonstandard hulls and Loeb measures in internal set theories
Karel Hrbacek, Mikhail G. Katz
Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the i…