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:
“... effective magic is transcendent nature ...”
—George Eliot [Mary Ann (or Marian)
“One reason writers write is out of revenge. Life hurts; certain ideas and experiences hurt; one wants to clarify, to set out illuminations, to replay the old bad scenes and get the Treppenworte said—the words one didn’t have the strength or ripeness to say when those words were necessary for one’s dignity or survival.”
—Cynthia Ozick (b. 1928)
“There could be no fairer destiny for any physical theory than that it should point the way to a more comprehensive theory in which it lives on as a limiting case.”
—Albert Einstein (1879–1955)