Robinson's nonstandard analysis

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:logic
gptkbp:appliesTo	gptkb:probability_theory calculus partial differential equations
gptkbp:contrastsWith	standard analysis
gptkbp:developedBy	gptkb:Abraham_Robinson
gptkbp:field	gptkb:logic analysis
gptkbp:hasApplication	gptkb:logic gptkb:probability_theory gptkb:topology computer science dynamical systems economics functional analysis mathematical physics mathematics education measure theory model theory stochastic processes
https://www.w3.org/2000/01/rdf-schema#label	Robinson's nonstandard analysis
gptkbp:influenced	gptkb:Edward_Nelson gptkb:Terence_Tao gptkb:Alain_Connes gptkb:H._Jerome_Keisler gptkb:Vladimir_Kanovei nonstandard models of arithmetic Sergei Goncharov modern nonstandard analysis
gptkbp:introducedIn	1960s
gptkbp:language	gptkb:first-order_logic
gptkbp:notableIdea	enlargement saturation standard part function external set internal set infinitesimal infinite number
gptkbp:provides	rigorous foundation for infinitesimals
gptkbp:publishedIn	gptkb:Non-standard_Analysis_(book)
gptkbp:relatedTo	gptkb:hyperreal_numbers gptkb:Loeb_measure gptkb:internal_set_theory transfer principle ultrapower construction
gptkbp:uses	model theory
gptkbp:bfsParent	gptkb:internal_set_theory
gptkbp:bfsLayer	8