TY  - RPRT
TI  - Multi-level Nonstandard Analysis and the Axiom of Choice
AU  - Karel Hrbacek
PY  - 2024
DO  - 10.4115/jla.2024.16.5 10.4115/jla.2024.16.5c
UR  - https://arxiv.org/abs/2405.00621
ID  - 2405.00621
ER  -