Reasoning about negligibility and proximity in the set of all hyperreals

Philippe Balbiani. Reasoning about negligibility and proximity in the set of all hyperreals. J. Applied Logic, 16:14-36, 2016. [doi]

Abstract

Abstract is missing.