Statements (71)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
gptkb:probability_theory
calculus partial differential equations |
| 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:logic
analysis |
| https://www.w3.org/2000/01/rdf-schema#label |
nonstandard analysis
|
| 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:Loeb_measure
gptkb:internal_set_theory model 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 gptkb:Mikhael_Katz gptkb:hyperreal_numbers gptkb:A_Primer_of_Infinitesimal_Analysis |
| gptkbp:bfsLayer |
6
|