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:
“An effective human being is a whole that is greater than the sum of its parts.”
—Ida P. Rolf (1896–1979)
“You have a row of dominoes set up; you knock over the first one, and what will happen to the last one is that it will go over very quickly.”
—Dwight D. Eisenhower (1890–1969)
“... liberal intellectuals ... tend to have a classical theory of politics, in which the state has a monopoly of power; hoping that those in positions of authority may prove to be enlightened men, wielding power justly, they are natural, if cautious, allies of the “establishment.””
—Susan Sontag (b. 1933)