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)
“They roused him with muffins—they roused him with ice—
They roused him with mustard and cress—
They roused him with jam and judicious advice—
They set him conundrums to guess.”
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“The human species, according to the best theory I can form of it, is composed of two distinct races, the men who borrow and the men who lend.”
—Charles Lamb (1775–1834)