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.
Famous quotes containing the words effective, set and/or theory:
“The only effective way to help well-intentioned, intelligent persons to do the best they can in raising children is to encourage and guide them always to do their own thinking in their attempts at understanding and dealing with child-rearing situations and problems, and not to rely blindly on the opinions of others.”
—Bruno Bettelheim (20th century)
“To find the length of an object, we have to perform certain
physical operations. The concept of length is therefore fixed when the operations by which length is measured are fixed: that is, the concept of length involves as much as and nothing more than the set of operations by which length is determined.”
—Percy W. Bridgman (1882–1961)
“The theory of truth is a series of truisms.”
—J.L. (John Langshaw)