TY  - RPRT
TI  - Constructing nonstandard hulls and Loeb measures in internal set theories
AU  - Karel Hrbacek
AU  - Mikhail G. Katz
PY  - 2023
DO  - 10.1017/bsl.2022.43
UR  - https://arxiv.org/abs/2301.00367
ID  - 2301.00367
ER  -