TY  - RPRT
TI  - Axiomatics for the external numbers of nonstandard analysis
AU  - Bruno Dinis
AU  - Imme van den Berg
PY  - 2017
DO  - 10.4115/jla.2017.9.7
UR  - https://arxiv.org/abs/1605.02551
ID  - 1605.02551
ER  -