Search
Menu
Home
Sources
About
Contacts
Constructive nonstandard analysis
In
mathematics
,
constructive
nonstandard analysis
is a
version
of
Abraham
Robinson's
nonstandard
analysis
, developed by
Moerdijk
,
Palmgren
, Ruokolainen. Ruokolainen wrote: