Descriptive Set Theory - Effective Descriptive Set Theory

Effective Descriptive Set Theory

The area of effective descriptive set theory combines the methods of descriptive set theory with those of generalized recursion theory (especially hyperarithmetical theory). In particular, it focuses on lightface analogues of hierarchies of classical descriptive set theory. Thus the hyperarithmetic hierarchy is studied instead of the Borel hierarchy, and the analytical hierarchy instead of the projective hierarchy. This research is related to weaker version of set theory such as Kripke-Platek set theory and second-order arithmetic.

Read more about this topic:  Descriptive Set Theory

Famous quotes containing the words effective, set and/or theory:

    Women, because of their colonial relationship to men, have to fight for their own independence. This fight for our own independence will lead to the growth and development of the revolutionary movement in this country. Only the independent woman can be truly effective in the larger revolutionary struggle.
    Women’s Liberation Workshop, Students for a Democratic Society, Radical political/social activist organization. “Liberation of Women,” in New Left Notes (July 10, 1967)

    Ceremony was but devised at first
    To set a gloss on faint deeds, hollow welcomes,
    Recanting goodness, sorry ere ‘tis shown;
    But where there is true friendship, there needs none.
    William Shakespeare (1564–1616)

    The great tragedy of science—the slaying of a beautiful theory by an ugly fact.
    Thomas Henry Huxley (1825–1895)