Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:builtBy |
ultrapower construction
|
gptkbp:contains |
infinite numbers
infinitesimal numbers |
gptkbp:extend |
real numbers
|
gptkbp:hasModel |
infinitesimal calculus
|
https://www.w3.org/2000/01/rdf-schema#label |
hyperreal numbers
|
gptkbp:introduced |
gptkb:Abraham_Robinson
|
gptkbp:relatedTo |
gptkb:surreal_numbers
real numbers standard part function |
gptkbp:satisfies |
transfer principle
|
gptkbp:supports |
arithmetic operations
order relation |
gptkbp:symbol |
*R
|
gptkbp:used_in |
gptkb:logic
gptkb:nonstandard_analysis analysis model theory education of calculus |
gptkbp:usedFor |
rigorous calculus
|
gptkbp:bfsParent |
gptkb:Surreal_Numbers
|
gptkbp:bfsLayer |
5
|