@misc{indiciae9d8b3badaa3d,
  title = {Axiomatics for the external numbers of nonstandard analysis},
  author = {Bruno Dinis and Imme van den Berg},
  year = {2017},
  doi = {10.4115/jla.2017.9.7},
  url = {https://arxiv.org/abs/1605.02551},
  note = {Source identifier: 1605.02551}
}