Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alternativeTo |
standard analysis
|
| gptkbp:appliesTo |
calculus
real analysis |
| gptkbp:field |
gptkb:mathematics
|
| gptkbp:hasApplication |
gptkb:probability_theory
stochastic processes |
| gptkbp:hasSubfield |
gptkb:analysis
gptkb:logic |
| gptkbp:influenced |
gptkb:non-Archimedean_geometry
mathematical education |
| gptkbp:introduced |
gptkb:Abraham_Robinson
|
| gptkbp:introducedIn |
1960s
|
| gptkbp:provides |
rigorous foundation for infinitesimals
|
| gptkbp:relatedTo |
gptkb:internal_set_theory
ultrafilters standard part function transfer principle |
| gptkbp:uses |
gptkb:model_theory
gptkb:hyperreal_numbers |
| gptkbp:bfsParent |
gptkb:The_foundations_of_mathematics
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Non-standard analysis
|