TY  - RPRT
TI  - Infinitesimal analysis without the Axiom of Choice
AU  - Karel Hrbacek
AU  - Mikhail G. Katz
PY  - 2021
DO  - 10.1016/j.apal.2021.102959
UR  - https://arxiv.org/abs/2009.04980
ID  - 2009.04980
ER  -