Assertion: set's number | /r/ObjectUse | used in modern descriptive set theory
Facets:
value: extensively
type: DEGREE
Source sentences:
text: L(\mathbb {R} )} , the smallest model that contains all the real numbers, which is used extensively in modern descriptive set theory.