bn:01892702n
Noun Concept
Categories: Constructivism (mathematics), Mathematical logic stubs, Non-standard analysis
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