Constructive nonstandard analysis


In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk, Palmgren, Ruokolainen. Ruokolainen wrote: