hyperreal numbers

GPTKB entity

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