Effective descriptive set theory (nonfiction)

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 (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory.

See also

• Descriptive set theory (nonfiction) - the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces.
• Set (nonfiction) - a well-defined collection of distinct objects, considered as an object in its own right.

• Effective descriptive set theory @ Wikipedia