Effective Descriptive Set Theory

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:

    [Humanity] has unquestionably one really effective weapon—laughter. Power, money, persuasion, supplication, persecution—these can lift at a colossal humbug—push it a little—weaken it a little, century by century; but only laughter can blow it to rags and atoms at a blast. Against the assault of laughter nothing can stand.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)

    If nations always moved from one set of furnished rooms to another—and always into a better set—things might be easier, but the trouble is that there is no one to prepare the new rooms. The future is worse than the ocean—there is nothing there. It will be what men and circumstances make it.
    Alexander Herzen (1812–1870)

    ... the first reason for psychology’s failure to understand what people are and how they act, is that clinicians and psychiatrists, who are generally the theoreticians on these matters, have essentially made up myths without any evidence to support them; the second reason for psychology’s failure is that personality theory has looked for inner traits when it should have been looking for social context.
    Naomi Weisstein (b. 1939)