Bruno Miguel Antunes Dinis, Imme Pieter van den Berg. Axiomatics for the external numbers of nonstandard analysis. J. Logic & Analysis, 9, 2017. [doi]
@article{DinisB17,
title = {Axiomatics for the external numbers of nonstandard analysis},
author = {Bruno Miguel Antunes Dinis and Imme Pieter van den Berg},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/308/124},
researchr = {https://researchr.org/publication/DinisB17},
cites = {0},
citedby = {0},
journal = {J. Logic & Analysis},
volume = {9},
}