bn:01892702n
Noun Concept
Categories: Mathematical logic stubs, Non-standard analysis, Constructivism (mathematics)
EN
constructive non-standard analysis  constructive nonstandard analysis
EN
In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk, Palmgren, Ruokolainen. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, constructive nonstandard analysis is a version of Abraham Robinson's nonstandard analysis, developed by Moerdijk, Palmgren, Ruokolainen. Wikipedia