Effective descriptive set theory
Encyclopedia
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
. Thus effective descriptive set theory combines descriptive set theory with recursion theory
.
Descriptive set theory
In mathematical logic, descriptive set theory is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces...
dealing with sets of reals
Real number
In mathematics, a real number is a value that represents a quantity along a continuum, such as -5 , 4/3 , 8.6 , √2 and π...
having lightface definitions; that is, definitions that do not require an arbitrary real parameter
Parameter
Parameter from Ancient Greek παρά also “para” meaning “beside, subsidiary” and μέτρον also “metron” meaning “measure”, can be interpreted in mathematics, logic, linguistics, environmental science and other disciplines....
. Thus effective descriptive set theory combines descriptive set theory with recursion theory
Recursion theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
.