Assertion: real number | /r/HasProperty | introduced by w. hugh woodin
Facets:
Source sentences:
text: In abstract algebra, the superreal numbers are a class of extensions of the real numbers, introduced by H. Garth Dales and W. Hugh Woodin as a generalization of the hyperreal numbers and primarily of interest in non-standard analysis, model theory, and the study of Banach algebras.