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:
“Fine art is the subtlest, the most seductive, the most effective instrument of moral propaganda in the world, excepting only the example of personal conduct; and I waive even this exception in favor of the art of the stage, because it works by exhibiting examples of personal conduct made intelligible and moving to crowds of unobservant unreflecting people to whom real life means nothing.”
—George Bernard Shaw (1856–1950)
“The dreariest spot in all the land
To Death they set apart;
With scanty grace from Nature’s hand,
And none from that of Art.”
—John Greenleaf Whittier (1807–1892)
“A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.”
—Lionel Trilling (1905–1975)