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:logic
analysis |
https://www.w3.org/2000/01/rdf-schema#label |
Non-standard analysis
|
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:hyperreal_numbers
model theory |
gptkbp:bfsParent |
gptkb:The_foundations_of_mathematics
|
gptkbp:bfsLayer |
7
|