Statements (68)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
gptkb:partial_differential_equations
gptkb:probability_theory calculus |
| gptkbp:field |
gptkb:mathematics
|
| gptkbp:hasApplication |
gptkb:probability_theory
gptkb:topology dynamical systems economics functional analysis mathematical education mathematical physics stochastic processes |
| gptkbp:hasConcept |
gptkb:Functor
gptkb:Loeb_measure enlargement superstructure saturation transfer principle ultrapower construction external set internal set countable saturation external function hypercomplex number hyperfinite product hyperfinite set hyperfinite sum hyperinteger hypernatural number hyperreal line infinitesimal internal definition principle internal function nonstandard extension nonstandard hull nonstandard model nonstandard universe overflow principle standard number standard part map underflow principle unlimited number |
| gptkbp:hasSubfield |
gptkb:analysis
gptkb:logic |
| gptkbp:introduced |
gptkb:Abraham_Robinson
|
| gptkbp:introducedIn |
1960s
|
| gptkbp:notableFigure |
gptkb:Edward_Nelson
gptkb:Haim_Gaifman gptkb:Karel_Hrbacek gptkb:Mikhail_G._Katz gptkb:Nigel_Cutland gptkb:Vladimir_Kanovei gptkb:Wilhelmus_Luxemburg |
| gptkbp:provides |
rigorous foundation for infinitesimals
|
| gptkbp:relatedTo |
gptkb:model_theory
gptkb:Loeb_measure gptkb:internal_set_theory ultrafilters standard part function transfer principle saturated model |
| gptkbp:uses |
gptkb:hyperreal_numbers
|
| gptkbp:bfsParent |
gptkb:Internal_Set_Theory
gptkb:Radically_Elementary_Probability_Theory gptkb:Łoś's_theorem |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
nonstandard analysis
|