Assertion: real number | /r/HasAspect | good claim
Facets:
Source sentences:
text: However, a 2003 paper by Vladimir Kanovei and Saharon Shelah shows that there is a definable, countably saturated (meaning ω-saturated, but not, of course, countable) elementary extension of the reals, which therefore has a good claim to the title of the hyperreal numbers.