bn:02598492n
Noun Concept
Categories: Effective descriptive set theory, Set theory stubs
EN
effective descriptive set theory
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
Definitions
Sources
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