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:
“Gestures ..., in love, are incomparably more attractive, effective and valuable than words.”
—François Rabelais (1494–1553)
“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)
“Frankly, these days, without a theory to go with it, I can’t see a painting.”
—Tom Wolfe (b. 1931)