Constructive non-standard analysis
Encyclopedia
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:
Abraham Robinson
Abraham Robinson was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were incorporated into mathematics....
's non-standard analysis
Non-standard analysis
Non-standard analysis is a branch of mathematics that formulates analysis using a rigorous notion of an infinitesimal number.Non-standard analysis was introduced in the early 1960s by the mathematician Abraham Robinson. He wrote:...
, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote:
- The possibility of constructivization of nonstandard analysis was studied by Palmgren (1997, 1998, 2001). The model of constructive nonstandard analysis studied there is an extension of Moerdijk’s (1995) model for constructive nonstandard arithmetic.