gptkbp:instanceOf
|
gptkb:mathematical_concept
|
gptkbp:contains
|
ordinal numbers
real numbers
infinite numbers
infinitesimal numbers
|
gptkbp:describedBy
|
gptkb:On_Numbers_and_Games
gptkb:Dedekind_cuts
recursive construction
|
gptkbp:firstDescribed
|
1970
|
gptkbp:generalizes
|
ordinal numbers
real numbers
|
gptkbp:hasCardinality
|
proper class
|
gptkbp:hasProperty
|
gptkb:Field
totally ordered
|
gptkbp:hasSubgroup
|
No (the class of all surreal numbers)
|
https://www.w3.org/2000/01/rdf-schema#label
|
Surreal Numbers
|
gptkbp:inventedBy
|
gptkb:John_Horton_Conway
|
gptkbp:notation
|
{L|R}
|
gptkbp:operator
|
gptkb:division
addition
multiplication
subtraction
|
gptkbp:relatedTo
|
gptkb:Conway's_Game_of_Life
gptkb:Conway_numbers
gptkb:hyperreal_numbers
transfinite numbers
real closed fields
ordinal numbers
Dedekind-complete fields
class theory
game values
infinite numbers
infinitesimals
nimbers
ordered fields
ordinal arithmetic
|
gptkbp:studiedBy
|
gptkb:Donald_Knuth
gptkb:John_Horton_Conway
gptkb:Simon_Norton
|
gptkbp:type
|
number system
|
gptkbp:usedIn
|
gptkb:algebra
gptkb:logic
gptkb:set_theory
gptkb:mathematical_games
analysis
combinatorial game theory
game theory
model theory
non-standard analysis
|
gptkbp:bfsParent
|
gptkb:Donald_Knuth
|
gptkbp:bfsLayer
|
4
|