bn:02598492n
Noun Concept
SYL
No term available
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