Constructive non-standard analysis
In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's non-standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote:
...
Wikipedia
In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's non-standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: