bn:02598492n
Noun Concept
AR
نظرية المجموعات وصفي فعال
EN
Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter. Wikipedia
Sources